Talk:De Morgan's Laws imply Uniquely Complemented Lattice is Boolean Lattice

Definitely worth reading on this topic: --Dfeuer (talk) 06:27, 22 January 2013 (UTC)

The relation $a \preceq b \iff a \wedge b = a$ is used and derived in e.g. Equivalence of Lattice Definitions. You may want to use Ordering in terms of Meet (and its dual Ordering in terms of Join) which I haven't come round to yet but have referred to a few times. --Lord_Farin (talk) 08:35, 22 January 2013 (UTC)