Definition:Ordinal Subtraction

Definition
Let $x$ and $y$ be ordinals such that $x \le y$.

Then 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