ordinal multiplication

Summary

ordinal multiplication is a function^[1].

Key Facts

• ordinal multiplication's instance of is recorded as function^[2].
• ordinal multiplication's facet of is recorded as ordinal arithmetic^[3].
• ordinal multiplication's facet of is recorded as multiplication^[4].
• ordinal multiplication's definition domain is recorded as class of all ordinals^[5].
• ordinal multiplication's codomain is recorded as class of all ordinals^[6].
• ordinal multiplication's defining formula is recorded as x*0 = 0^[7].
• ordinal multiplication's defining formula is recorded as xSy := xy + x^[8].
• ordinal multiplication's defining formula is recorded as x\alpha := \sup_{\gamma < \alpha}(x\gamma)<sup id="cite-C8" class="cite-ref" title="ordinal multiplication — defining formula (P2534): x\alpha := \sup_{\gamma < \alpha}(x\gamma)">[9].
• ordinal multiplication's MathWorld ID is recorded as OrdinalMultiplication^[10].
• ordinal multiplication's maintained by WikiProject is recorded as WikiProject Mathematics^[11].
• ordinal multiplication's in defining formula is recorded as x^[12].
• ordinal multiplication's in defining formula is recorded as y^[13].
• ordinal multiplication's in defining formula is recorded as S^[14].
• ordinal multiplication's in defining formula is recorded as \alpha^[15].
• ordinal multiplication's Metamath statement ID is recorded as df-omul^[16].