'''Zbiory rozłączne''' – dwa [[zbiór|zbiory]] są rozłączne, gdy ichktórych [[Przekrój zbiorów|część wspólna]] jest [[zbiór pusty|zbiorem pustym]]. Inaczej mówiąc, zbiory te nie mają ani jednegomające 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ługujemystosuje się [[pojęcie]]m '''zbiory parami rozłączne'''. Jeśli <math>(A_i)_{i\in I}</math> jest [[rodzina zbiorów|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ł (matematyka)|przedziałów]] <math>\{[n,n+1):n\in N\}</math>.
Jeżeli <math>(A_i)_{i\in I}</math> jest rodziną zbiorów parami rozłącznąrozłącznych, to jej [[Przekrój (matematyka)|przekrój]] <math>\bigcap_{i\in I}A_i</math> jest zbiorem pustym. Wnioskowanie odwrotne jest fałszywe – jeśli przekrójPrzykład rodziny zbiorów jest zbiorem pustym, nie oznacza to, że zbiory rodziny są parami rozłączne. Przykładem jest rodzina <math>\{[n,n+1]:n\in N\}</math> pokazuje, że wynikanie w drugą stronę nie zachodzi.
