\begin{definition}[Definition:Ordinal Multiplication]
Let $x$ and $y$ be ordinals.
The operation of '''ordinal multiplication''' $x \times y$ is defined using transfinite recursion as follows:
\end{definition}