jika  dan ,

jika  dan ,

diketahui jika  dan  maka:

 

himpunan k gabungan himpunan l adalah himpunan dari semua anggota k dan l sehingga:

 

dengan demikian .