OurBigBook.comSite Source code

Ordinal multiplication ( $α β$ )

Ordinal multiplication is defined recursively by

α 0 = 0, α (β + 1) = α β + α, α λ = sup_{ξ < λ} α ξ

for nonzero limit ordinal

λ

. It is associative and left-distributive over ordinal addition, but generally neither commutative nor right-distributive.

 Ancestors (6)

 Incoming links (2)