| |
| | Complemented lattice |
 | | In the mathematical discipline of order theory, and in particular, in lattice theory, a complemented lattice is a bounded lattice (that is it has a least element 0 and a greatest element 1), in which each element x has a complement, defined as an element y such that |
 | | Similarly, in an orthocomplemented lattice it can be shown that each element has exactly one complement - in fact, there is an idempotent order-reversing function from elements to their complements. |
 | | Thus in a Boolean algebra, which is both a complemented distributive lattice and an orthocomplemented lattice, complements exist and are unique. |
| www.algebra.com /algebra/about/history/Complemented-lattice.wikipedia (145 words) |
|