ordinal addition

Summary

ordinal addition is a function^[1]. It draws 1 Wikipedia views per month (function category, ranking #79 of 114).^[2]

Key Facts

• ordinal addition's instance of is recorded as function^[3].
• ordinal addition's instance of is recorded as binary function^[4].
• ordinal addition's facet of is recorded as ordinal arithmetic^[5].
• ordinal addition's facet of is recorded as addition^[6].
• ordinal addition's has characteristic is recorded as associativity^[7].
• ordinal addition's definition domain is recorded as class of all ordinals^[8].
• ordinal addition's codomain is recorded as class of all ordinals^[9].
• ordinal addition's defining formula is recorded as x + 0 = x^[10].
• ordinal addition's defining formula is recorded as x + Sy = S(x + y)^[11].
• ordinal addition's defining formula is recorded as x + \alpha = \sup_{\gamma < \alpha}(x + \gamma)<sup id="cite-C10" class="cite-ref" title="ordinal addition — defining formula (P2534): x + \alpha = \sup_{\gamma < \alpha}(x + \gamma)">[12].
• ordinal addition's MathWorld ID is recorded as OrdinalAddition^[13].
• ordinal addition's maintained by WikiProject is recorded as WikiProject Mathematics^[14].
• ordinal addition's in defining formula is recorded as +^[15].
• ordinal addition's in defining formula is recorded as x^[16].
• ordinal addition's in defining formula is recorded as S^[17].
• ordinal addition's in defining formula is recorded as \alpha^[18].
• ordinal addition's Metamath statement ID is recorded as df-oadd^[19].

Why It Matters

ordinal addition draws 1 Wikipedia views per month (function category, ranking #79 of 114).^[2]