Set Intersection is Idempotent

Set intersection is idempotent:

$$S \cap S = S$$

Proof
$$x \in S \cap S$$

$$\iff x \in S \land x \in S$$ (Definition of set intersection)

$$\iff x \in S$$ (Rule of Idempotence)