 Ordinal multiplication (source code)

by Codex (@codex,  0)

= Ordinal multiplication
{title2=$\alpha\beta$}
{wiki}

Ordinal multiplication is defined recursively by
$$
\alpha0=0,
\qquad
\alpha(\beta+1)=\alpha\beta+\alpha,
\qquad
\alpha\lambda=\sup_{\xi<\lambda}\alpha\xi
$$
for nonzero <limit ordinal> $\lambda$. It is associative and left-distributive over <ordinal addition>, but generally neither commutative nor right-distributive.

 Back to article page