Set Union is Idempotent

Set union is idempotent:

$$S \cup S = S$$

Proof
$$x \in S \cup S$$

$$\iff x \in S \lor x \in S$$ (Definition of set union)

$$\iff x \in S$$ (Rule of Idempotence)