Successor of Element of Ordinal is Subset

Theorem
Let $x$ and $y$ be ordinals.

Then:


 * $x \in y \iff x^+ \subseteq y$