Zbiory rozłączne
Z Wikipedii
Zbiory rozłączne – dwa zbiory są rozłączne, gdy ich część wspólna jest zbiorem pustym. Inaczej mówiąc, zbiory te nie mają ani jednego wspólnego elementu.
Na przykład, zbiory {2, 4, 6} i {3, 5} są rozłączne, natomiast {2, 4, 6} i {3, 4, 5} – nie.
W przypadku większej liczby zbiorów posługujemy się pojęciem parami rozłączne. Jeśli jest rodziną zbiorów, to powiemy, że rodzina ta jest rodziną zbiorów parami rozłącznych, jeśli dowolne dwa różne zbiory tej rodziny są rozłączne:
Przykładem takiej rodziny jest zbiór przedziałów .
Jeżeli jest rodziną parami rozłączną, to jej przekrój
jest zbiorem pustym. Wnioskowanie odwrotne jest fałszywe – jeśli przekrój rodziny zbiorów jest zbiorem pustym, nie oznacza to, że zbiory rodziny są parami rozłączne. Przykładem jest rodzina
.