Himpunan saling lepas

Sebuah keluarga himpunan "F" dikatakan saling terlepas jika, untuk setiap dua himpunan di dalam keluarga, irisannya adalah kosong. Jika keluarga tersebut memuat lebih dari satu himpunan, hal ini berimplikasi bahwa irisan dari seluruh anggota keluarga ini adalah kosong. Namun, untuk sebuah keluarga dengan satu himpunan, keluarga tersebut juga disebut saling terlepas, baik apakah himpunan tersebut kosong, dan boleh memiliki irisan yang tak kosong. Selain itu, sebuah keluarga himpunan dapat memiliki irisan seluruh anggotanya adalah kosong tetapi tidak saling terlepas. Misalnya, keluarga tiga himpunan memiliki persimpangan kosong tapi tidak saling terlepas. Keluarga himpunan yang kosong (keluarga tanpa himpunan anggota) adalah saling terlepas.