Definition:Ordinal Subtraction

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

The operation of ordinal subtraction is defined as:


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