Complemented lattice
|
In the mathematical discipline of order theory, and in particular, in lattice theory, a complemented lattice is a bounded lattice in which each element x has a complement, defined as a unique element ~ x such that
- <math>x\wedge\sim x=0<math>
and
- <math>x\vee\sim x=1.<math>
A Boolean algebra may be defined as a complemented distributive lattice.