196

16509 readers

2324 users here now

Be sure to follow the rule before you head out.

Rule: You must post before you leave.

^other^ ^rules^

founded 1 year ago

MODERATORS

[email protected]

208

addition rule (lemmy.world)

submitted 9 months ago by [email protected] to c/[email protected]

20 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 12 points 9 months ago (1 children)

What does type() mean here?

[–] [email protected] 25 points 9 months ago (2 children)

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)

[–] [email protected] 11 points 9 months ago (1 children)

what's with the square at the end? isn't that usually for proofs?

[–] [email protected] 15 points 9 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.

[–] [email protected] 8 points 9 months ago

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