• affiliate@lemmy.worldOP
    link
    fedilink
    arrow-up
    23
    ·
    1 year ago

    it’s the “order type” of a well ordering on a set. so, given a set X with a total ordering R, type(X,R) is the unique ordinal isomorphic to (X,R)

      • affiliate@lemmy.worldOP
        link
        fedilink
        arrow-up
        14
        ·
        1 year ago

        yeah but sometimes when the textbook authors are feeling particularly mischievous they’ll just put them in random places. and sometimes they’ll even skip the proofs but keep the square.