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
