Hiệu đối xứng của hai tập A và B, ký hiệu A∆B, xác định bởi:
A∆B = (A\B) ∪ (B\A).
Chứng minh rằng:
a) A∆B = (A ∪ B) \ (A ∩ B).
b) (A∆B) ∆C = A∆ (B∆C).
c) A ∩ (B∆C) = (A ∩ B) ∆ (A ∩ C).
d) A∆ (B ∩ C) = (A∆B) ∩ (A∆C) ⇔ A ∩ B = A ∩ C.
e) (A∆B) \C = (A\C) ∆ (B\C).
