Definition talk:Upper Semilattice on Classical Set

From ProofWiki
Jump to navigation Jump to search

What is a "classical set"? Presumably it's what someone who has been introduced to class theory calls a set. In which case we are not going to support the name "classical set" unless there is a page written to introduce it. Can citations in the literature be found that endorse this name? --prime mover 05:51, 28 January 2012 (EST)

In fact, looking at it, I'd be tempted to call this page just "Definition:Upper Semilattice". I have yet to be convinced of the usefulness of class theory to these basic concepts. (I have yet to be convinced of the usefulness of class theory in any context beyond that of the justification of a technique to avoid Russell's Paradox.) --prime mover 05:55, 28 January 2012 (EST)
I'm with you here (up to the renaming part; I think different about class theory). However, I deemed it more important that the actual content of the page be correct than that all nomenclature be corrected, so I did that first. Let's hear what KBlott brings in. --Lord_Farin 06:19, 28 January 2012 (EST)