Complement in Distributive Lattice is Unique

Theorem
Let $\struct {S, \vee, \wedge, \preceq}$ be a bounded distributive lattice.

Then every $a \in S$ admits at most one complement.

Proof
Let $a \in S$, and suppose that $b, c \in S$ are complements for $a$.

Then:

Interchanging $c$ and $b$ in the above gives that $c = c \wedge b$ as well.

Hence $b = c$, as desired.