Misalkan \(A\) berada dalam \({\mathcal P}(X)\text{.}\) Ingat bahwa komplemen dari \(A\) adalah
\begin{equation*}
A' = X \setminus A = \{ x : x \in X \text{ dan } x \notin A \}\text{.}
\end{equation*}
Kita mengetahui bahwa \(A \cup A' = X\) dan \(A \cap A' = \emptyset\text{.}\) Contoh ini dapat kita perumum untuk latis. Suatu latis \(L\) dengan unsur terbesar \(I\) dan unsur terkecil \(O\) disebut berkomplemen jika untuk setiap \(a \in L\text{,}\) terdapat \(a'\) sedemikian sehingga \(a \vee a' = I\) dan \(a \wedge a' = O\text{.}\)