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.