Definition:Ordinal Subtraction

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

The operation of ordinal subtraction is defined as:


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

Also see

 * Ordinal Subtraction when Possible is Unique