• @affiliateOP
    link
    2511 months 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)

      • @affiliateOP
        link
        1511 months 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.

    • Lem Jukes
      link
      fedilink
      811 months ago

      Give it up for op actually out here answering questions like a real live teacher.