Jump to content

User contributions for Segfau1t

A user with 1 edit. Account created on 23 May 2023.
Search for contributionsshowhide
⧼contribs-top⧽
⧼contribs-date⧽

23 May 2023

  • 17:0117:01, 23 May 2023 diff hist −24 m Infimum and supremum Per the definition of a partial order, if a<=b and b<=a then a=b (set element equality). The original language was confusing since it implied an "other" different upper/lower bound could be "equal", which suggests a notion of equivalence other than set equivalence.