Union of Successor Ordinal

Theorem
Let $x$ be an ordinal.

Let $x^+$ denote the successor of $x$.

Then:
 * $\ds \map \bigcup {x^+} = x$