affiliate@lemmy.world to 196@lemmy.blahaj.zone · 6 months agoaddition rulelemmy.worldimagemessage-square19fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1imageaddition rulelemmy.worldaffiliate@lemmy.world to 196@lemmy.blahaj.zone · 6 months agomessage-square19fedilink
minus-squareaffiliate@lemmy.worldOPlinkfedilinkarrow-up0·6 months agoit’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)
minus-squareLem Jukes@lemm.eelinkfedilinkarrow-up0·6 months agoGive it up for op actually out here answering questions like a real live teacher.
minus-squarebort@feddit.delinkfedilinkarrow-up0·6 months agowhat’s with the square at the end? isn’t that usually for proofs?
minus-squareaffiliate@lemmy.worldOPlinkfedilinkarrow-up0·6 months agoyeah 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.
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)
Give it up for op actually out here answering questions like a real live teacher.
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.