Definition talk:Upper Closure/Element

Partially ordered set
By ProofWiki standards, shouldn't this say ordered set instead? --Dfeuer (talk) 15:09, 21 December 2012 (UTC)


 * Yes. I think there are quite a few pages referring to poset (which abbreviation perhaps should be discouraged as it is misleading in our collection of definitions) which actually mean to refer to ordered set. Feel free to change them; consistency is a good thing. --Lord_Farin (talk) 15:38, 21 December 2012 (UTC)


 * I'm inclined to agree for once. If you were to go ahead and refactor the source pages to make explicit the definitions, then I'd caution against it because there is significant work to be done in ensuring the references stay consistent, and I'm the only one who has all (or most of) the references.


 * It's on the list of maintenance tasks to rationalise all this anyway. This may happen in the next few days, as because of "religious holidays" I get to spend more time at home being paid to do what I like than at other times of year. --prime mover (talk) 15:48, 21 December 2012 (UTC)