\begin{definition}[Definition:Ordinal Subtraction]
Let $x$ and $y$ be ordinals such that $x \le y$.
Then the operation of '''ordinal subtraction''' is defined as:
:$\ds y - x = \bigcup \set {z: x + z = y}$
\end{definition}