Es seien M {\displaystyle {}M} und N {\displaystyle {}N} disjunkte Mengen und x ∈ M {\displaystyle {}x\in M} . Zeige, dass auch M ∖ { x } {\displaystyle {}M\setminus \{x\}} und N ∪ { x } {\displaystyle {}N\cup \{x\}} disjunkt sind und dass
gilt.