Definition:Ordinal Multiplication

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

The operation of ordinal multiplication $x \times y$ is defined using the Second Principle of 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$.