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
and
A Boolean algebra may be defined as a complemented distributive lattice.
