Chứng minh với mọi tập A; B; C bất kỳ ta luôn có: A \ (B ∪ C) = (A \ B) ∩ (A \ C)