Set Union is Idempotent

Set union is idempotent:

$$S \cup S = S$$