Definition:Ordinal Multiplication

Definition
Let $x$ and $y$ be ordinals.

The operation of ordinal multiplication $x \times y$ is defined using transfinite recursion as follows:

Also denoted as
The operation $x \times y$ is also seen denoted as $x \cdot y$ or, commonly, as $x y$.