Definition:Ordinal Subtraction

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

Then the operation of ordinal subtraction is defined as:


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

Also see

 * Ordinal Subtraction when Possible is Unique