Set Union is Idempotent

Theorem
Set union is idempotent:


 * $$S \cup S = S$$

Proof
$$ $$ $$

Also see

 * Intersection is Idempotent