Definition talk:Order Completion

Apparently (and I am a bit reluctant here; WP is not the greatest source) this concept does not generally exist (cf. here) because the corresponding complete poset will turn into a proper class (and hence isn't a poset). --Lord_Farin 10:59, 8 April 2012 (EDT)
 * My problem is that I never had anyone sit down and wag their finger at me sternly and explain what is so important about distinguishing between sets and classes, beyond the fact that the latter just seem to me to be an awkward workround to Russell's Paradox. --prime mover 11:11, 8 April 2012 (EDT)
 * I'm self-taught here, but I suspect that there exists no notion of a 'power class'. Simply put, a class may be identified with a certain predicate (it consists precisely of all sets having this property). A power class would be a 'class of classes' which is void. This probably gives a glimpse of why sets and classes are truly different. --Lord_Farin 17:27, 8 April 2012 (EDT)
 * Goes some way towards my own discomfort with the concept of a "class": it's "like a set" but "it's got extra stuff in it" and so "you can't do some of the stuff you can do with sets" ... it all comes across as messy and incomplete. And if it's ugly, it's probably not at its best. --prime mover 17:30, 8 April 2012 (EDT)

Alternatively, you could simply restrict to a Grothendieck universe (using a hypothetical universal set, but still satisfying all ZF axioms). Such a universe $U$ probably by definition does not contain itself, but I'm not familiar with this beyond the name. --Lord_Farin 17:33, 8 April 2012 (EDT)

Strange
This is basically defined to be unique. Most peculiar... I would expect something more along the lines of the completion being minimal relative to the embedding. That is, I would have expected that $T$ is an order completion of $S$ iff it is a complete superset of $S$ such that $S \subseteq U \subsetneqq T$ implies $U$ is not complete. --Dfeuer (talk) 00:06, 8 January 2013 (UTC)


 * It would be nice to prove the approaches equivalent. That is *true*, right? --Lord_Farin (talk) 00:11, 8 January 2013 (UTC)


 * No idea! I would hope so. --Dfeuer (talk) 00:14, 8 January 2013 (UTC)