Ako imamo tri skupa A,B,C možemo da proverimo da li je (pod)skup A∩(B\C) isti (ima sve iste elemente) kao (pod)skup (A∩B)\C :
A∩(B\C) = (A∩B)\C
x ∈ A∩(B\C) ó x ∈ A ∧ x ∈ (B\C) ó x ∈ A ∧ (x ∈ B ∧ ¬(x ∈ C))
<=> (x ∈ A ∧ x ∈ B) ∧ ¬(x ∈ C) (asocijativnost konjukcije)
<=> (x ∈ A ∩ B) ∧ ¬(x ∈ C) ó x ∈ (A ∩ B)\C