Definition talk:Top of Lattice

The concept of "Top" in PropLog is also compatible with this one, from the direct isomorphism between the "Or of boolean algebra and the lattice "join" etc. So the question is: does it make sense to implement "Top" as a master-and-subpage paradigm? --prime mover (talk) 15:08, 11 January 2013 (UTC)

Maybe. I haven't made up my mind yet. Currently I perceive it of lowered priority - I'd rather get along finishing the preliminaries so that I can actually cover that direct isomorphism properly. --Lord_Farin (talk) 15:12, 11 January 2013 (UTC)