Definition:Ordinal Multiplication

Definition
Let $x$ and $y$ be ordinals. $x \times y$, or $x \cdot y$ shall be defined using Transfinite Recursion.