Set Union is Idempotent

Theorem
Set union is idempotent:


 * $S \cup S = S$

Also see

 * Set Intersection is Idempotent