Definition:Complement (Lattice Theory)

Definition
Let $\left({S, \vee, \wedge, \preceq}\right)$ be a bounded lattice.

Denote with $\bot$ and $\top$ the identities for $\vee$ and $\wedge$, respectively.

Let $a \in S$.

Then $b \in S$ is called a complement of $a$ iff:


 * $b \vee a = \top$
 * $b \wedge a = \bot$

If $a$ has a unique complement, it is denoted by $\neg a$.

Also denoted as
Considerably many sources use $a'$ in place of $\neg a$ to denote complement, while $\sim \! a$ is also seen.

Also see

 * Complemented Lattice, a bounded lattice in which every element has a complement
 * Complement in Distributive Lattice is Unique