Zwei Mengen L {\displaystyle {}L} und M {\displaystyle {}M} heißen disjunkt, wenn ihr Durchschnitt L ∩ M = ∅ {\displaystyle {}L\cap M=\emptyset } ist.