208
addition rule
(lemmy.world)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 01 Feb 2024
208 points (100.0% liked)
196
16488 readers
1517 users here now
Be sure to follow the rule before you head out.
Rule: You must post before you leave.
founded 1 year ago
MODERATORS
What does type() mean here?
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)
what's with the square at the end? isn't that usually for proofs?
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.
Give it up for op actually out here answering questions like a real live teacher.