Himpunan saling lepas
Dua himpunan "A" dan "B" dikatan terlepas jika dan hanya jika irisan keduanya formula_1 adalah himpunan kosong.
Dari sini dapat ditarik kesimpulan bahwa setiap himpunan terlepas dari himpunan kosong, dan hanya himpunan kosong yang terlepas dari dirinya sendiri.