Definition:Ordinal Subtraction

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


 * $\displaystyle x - y = \bigcup \{ z : x + z = y \}$