Buktikan untuk himpunan A, B, dan C, bahwa:

a. A ∩ ( B−C )=( A ∩ B )−( A ∩C )

Penyelesaian:
A ∩ ( B−C )= A−( B−C ´ ) definisi operasi selisih
¿ A−( B́−Ć ) hukum de morgan
¿ ( A−B́ )−( A−Ć ) hukum distributif
¿ ( A ∩ B́ )−(A ∩ Ć) definisi operasi selisih
¿ ( A ∩ B )−( A ∩ C) hukum involusi
b. A−( B−C )=( A−C ) ∪ ( A ∩ C )
Penyelesaian:
A−( B−C )= A− ( B ∩ Ć )
´ Ć ) definisi operasi selisih
¿ A ∩(B ∩
´) definisi operasi selisih
¿ A ∩ ( B́ ∪ Ć

¿ ( A ∩ B́ ) ∪ ( A ∩ Ć ) hukum de morgan

¿ ( A−B ) ∪ ( A ∩ Ć ) hukum distributif

¿ ( A−B ) ∪ ( A ∩C ) hukum involusi

c. Jika A ∩ B⊆C , maka B−C ⊆ Á
Penyelesaian:
1) Karena A ∩ B⊆, maka dari definisi himpunan bagian, ∀ x ∈ ( A ∩ B ) juga ∈C
2) Karena A ∩ B, dari definisi irisan, jika x ∈ ( A ∩B ), maka x ∈ A dan x ∈ C
3) Karena B−C ⊆ x, dari selisih artinya x ∈ B dan x ∉ Cdan juga ∉ A
Dari 1 dan 2 karena x ∈ A dan x ∈ C maka x ∈ B dan x ∉ C
Dari 2 dan 3 x ∈ A dan x ∈ C, maka ∉ A
Dapat disimpulkan
x ∈ B dan x ∉ C dan x ∉ C

¿ x ∈ ( B−C ) ⊆ Á

¿( B−C)⊆ Á