- #36
phoenixthoth
- 1,605
- 2
i think with what organic has in mind, the partial ordering is that induced by the subset relation for, i think he means {} to be the empty set at {__} the universal set so that for all sets x,
{}<x<{__}. however, since not all sets are comparable using subset relation, it's not a total order. however, perhaps this is a kind of weak (not meant in a bad way) open interval. it can be likened to a lattice with {} at the bottom and {__} at the top. i was briefly trying to do set theory this way but I'm not sure how to do the subsets axiom with meet ^ and join v in such a way as to remove russell's paradox.
{}<x<{__}. however, since not all sets are comparable using subset relation, it's not a total order. however, perhaps this is a kind of weak (not meant in a bad way) open interval. it can be likened to a lattice with {} at the bottom and {__} at the top. i was briefly trying to do set theory this way but I'm not sure how to do the subsets axiom with meet ^ and join v in such a way as to remove russell's paradox.