1. Bukti tereoma AUB = BUA

Pilih sembarang elemen x. Kemudian, menurut difinisi himpunan gabungan
AUB = x ϵ(AUB) = xϵA ˅ xϵB
   xϵA ˅ xϵB  .................................................menurut komutatif dari ˅
   xϵB ˅ xϵA
   xϵ BUA.......................................................menurut definisi dari himpunan gabungan 
Akibatnya, setiap elemen merupakan anggota AUB dan juga BUA.
Sehingga AUB = BUA
                  
        2.  Bukti bahwa A∩B = B∩A
             Pilih sembarang elemen x. Kemudian, menurut definisi himpunan irisan
             A∩B = xϵ (A∩B) = xϵA ˄ xϵB
xϵA ˄ xϵB
xϵB ˄ xϵA ............komutatif dalam aturan logika
B∩A
            jadi, A∩B = B∩A

        
        3. Bukti bahwa (AUB) UC = AU(BUC)
            (AUB) UC = xϵ (AUB) U C
xϵ(AUB) ˅ xϵC
(xϵA ˅ xϵB) ˅ xϵC
             <=>    xϵA ˅ (xϵB ˅ xϵC)..............asosiatif dalam aturan logika
xϵA ˅ xϵ(BUC)
xϵ AU(BUC)
            <=>    AU(BUC)
             jadi, (AUB) UC = AU(BUC)

        4.  Bukti bahwa (A∩B)∩C = A∩(B∩C)

             (A∩B)∩C = xϵ(A∩B)∩C
xϵ(A∩B) ˄ xϵC
(xϵA ˄ xϵB) ˄ xϵC
xϵA ˄ (xϵB ˄ xϵC)...............asosiatif dalam aturan logika 
xϵA ˄ xϵ(B∩C)
xϵ A∩(B∩C)
A∩(B∩C)
          jadi, (A∩B)∩C = A∩(B∩C)

        5. Bukti teorema AU (B∩C) = (AUB) ∩ (AUC)

             Menurut persamaan persamaan himpunan tersebut, kita akan membuktikan bahwa
            ∀x| xϵ AU (B∩C)   jika dan hanya jika   x ϵ (AUB) ∩ (AUC)
                xϵ AU (B∩C)  
xϵA ˅ xϵ(B∩C)........menurut definisi U
xϵA ˅( xϵB ˄ xϵC)  ....menurut definisi ∩
(xϵA ˅ xϵB) ˄ (xϵA ˅ xϵC).......menurut definisi dari aturan pengganti logika (distributif)
(xϵ AUB) ˄ (xϵ AUC)
xϵ (AUB) ∩ (AUC)
jadi, jelas AU (B∩C) = (AUB) ∩ (AUC)

         6. Bukti bahwa A∩(BUC) = (A∩B) U (AUC)

             A∩(BUC) = xϵ A∩(BUC)
xϵA ˄ xϵ(BUC)
xϵA ˄ (xϵB ˅ xϵC)
(xϵA ˄ xϵB) ˅ (xϵA ˄ xϵC)...........distributif dalam aturan logika
xϵ(A∩B) ˅ xϵ(A∩C)
xϵ (A∩B)U(A∩C)
(A∩B)U(A∩C)
jadi, A∩(BUC) = (A∩B) U (AUC)

Teorema 1.
A ⊂ B ⇔ A ∩ B = A

Bukti:
(⇒) DITUNUKKAN DARI RUAS KIRI KE RUAS KANAN!
Dipunyai A ⊂ B.
Karena A ⊂ B maka ∀x∈A berlaku x∈B.
Maka berlaku x∈A ⇒ x∈B.
Karena A ⊂ B maka berlaku Bc ⊂ Ac.
Ditunjukkan A ∩ B = A.

(i) Ditunjukkan A ⊂ (A ∩ B).

Ambil sembarang x ∈ A.
Jelas berlaku x ∈ A 
⇔ x ∈ A ∧ x ∈ A (menurut hukum idempoten)
⇔ x ∈ A ∧ x ∈ B (menurut definisi A ⊂ B)
⇔ x ∈ (A ∩ B) (menurut definisi irisan)
Diperoleh x ∈ A berlaku x ∈ (A ∩ B).
Karena x adalah sembarang anggota A, maka berlaku ∀x∈A maka
x∈ (A ∩ B).
Jadi A ⊂ (A ∩ B). 

(ii) Ditunjukkan (A ∩ B) ⊂ A.

Jelas Ac ⊂ (Ac ∪ Bc) 

⇔ Ac ⊂ (A ∩ B)c
⇔ (A ∩ B) ⊂ A (menurut sifat komplemen)
Dari (i) dan (ii) diperoleh fakta bahwa (A ∩ B) = A jika A
⊂ B.
Jadi (⇒) berlaku.

(⇐) DITUNJUKKAN DARI RUAS KANAN KE RUAS KIRI!

Dipunyai (A ∩ B) = A. Ditunjukkan A ⊂ B.
Akan ditunjukkan melalui kontraposisinya yang benar, yaitu A
⊄ B ⇒ A ∩ B ≠ A.
Cukup ditunjukkan bahwa (A∩B) ⊄ A atau A ⊄ (A∩B).
Jelas bahwa (A∩B) ⊂ A. Jadi ditunjukkan A ⊄ (A∩B).
Dipunyai A ⊄ B.
Artinya ∃x1∈A namun x1∉B.
Jelas x1∉ (A∩B).
Jadi ∃x1∈A namun x1∉A∩B.
Jadi A⊄ (A∩B).
A.Jadi jika A ⊄ B maka A ∩ B
Artinya jika A∩B = A maka A⊂B.
Dari penjelasan diatas dapat disimpulkan bahwa A⊂B ⇔ A∩B =
A.