Set Intersection is Idempotent

Set intersection is idempotent:


 * $$S \cap S = S$$

Proof
$$ $$ $$