Teorema 1.1.

7 Jika A, B, C adalah sebarang himpunan, maka

A \ (B C) = (A \ B) (A \ C)
A \ (B C) = (A \ B) (A \ C)
Bukti:

Kita hanya akan menunjukkan sifat a), sedangkan sifat b) diserahkan sebagai latihan. Akan

ditunjukkan bahwa setiap elemen dari A\(BC) termuat di dalam himpunan (A\B)(A\C), dan
sebaliknya.
Jika x di dalam A \ (B C) maka x di dalam A tetapi x tidak di B C. Akibatnya x di A tetapi x tidak di B
dan tidak di C. Berarti x A\B dan x A\C.
Jadi x (A \ B) (A \ C).
Sebaliknya, jika x (A \ B) (A \ C), maka x A\B dan x A\C. Jadi x A dan x A dan x B. Ini berarti
x A dan x AB, sehingga x A\(BC).
Karena himpunan A \ (B C) dan (A \ B) (A \ C) memuat elemen yang sama maka dapat disimpulkan
bahwa A \ (B C) = (A \ B) (A \ C).