Set Intersection is Idempotent

Theorem
Set intersection is idempotent:


 * $$S \cap S = S$$

Proof
$$ $$ $$