Misalkan a dan b himpunan tunjukan bahwa (a-b)-c =(a-c)-b

Diketahui :
A, B, C sembarang himpunan

akan ditunjukan (A - B) - C = (A - C) - B
artinya, harus ditunjukan (A - B) - C ⊆ (A - C) - B dan (A - C) - B ⊆ (A - B) - C

Akan ditunjukan (A - B) - C ⊆ (A - C) - B
ambil x ∈ (A - B) - C sembarang
⇒ x∈(A - B) dan x∉C
⇒ x∈A dan x∉B dan x∉C
⇒ x∈A dan x∉C dan x∉B
⇒ x∈(A - C) dan x∉B
⇒ x∈(A - C) - B

akan ditunjukan (A - C) - B ⊆ (A - B) - C
ambil x∈(A - C) - B sembarang
⇒x∈(A - C) dan x∉B
⇒x∈A dan x∉C dan x∉B
⇒x∈A dan x∉B dan x∉C
⇒x∈(A - B) dan x∉C
⇒x∈(A - B) - C

Jadi, terbukti bahwa (A - B) - C = (A - C) - B