auch Gesetz der ausgeschlossenen Mitte genannt, lautet: Für eine Menge A ∈ X und ihr Komplement C(A) gilt stets \begin{eqnarray}\begin{array}{ccc}A\cap C(A)=\varnothing & \text{und} & A\cup C(A)=X.\end{array}\end{eqnarray}