Set Intersection is Idempotent

Theorem
Set intersection is idempotent:


 * $S \cap S = S$

Also see

 * Union is Idempotent Operation