Ketiga himpunan tersebut saling lepas: setiap irisan dari dua himpunan yang berbeda di antaranya adalah kosong.