User talk:Lord Farin/Backup/Definition:Join (Order Theory)

Unique supremum
Is it necessary to remind the reader that the supremum is unique? If necessary it can be linked to from Supremum and Infimum Unique but I think the page would be better uncluttered. --prime mover (talk) 21:17, 16 December 2012 (UTC)
 * I don't feel strongly about it. --Dfeuer (talk) 22:13, 16 December 2012 (UTC)

Relationship to Definition:Semilattice
Semilattice is currently defined only algebraically. We need to offer an order-theoretic definition of a semilattice, show that it's equivalent to the algebraic definition, and properly connect join semilattice and meet semilattice to semilattice. --Dfeuer (talk) 22:13, 16 December 2012 (UTC)


 * What are you waiting for? --prime mover (talk) 22:17, 16 December 2012 (UTC)