Definition:Ordinal Multiplication

Definition
Let $x$ and $y$ be ordinals. We shall define $x \cdot y$ using Transfinite Recursion.