Zbiory rozłączne

Zbiory rozłączne – dwa zbiory, których część wspólna jest zbiorem pustym. Inaczej mówiąc, zbiory nie mają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 stosuje się pojęcie zbiory parami rozłączne. Rodzinę zbiorów $(A_i)_{i\in I}$ nazywa się rodziną zbiorów parami rozłącznych, jeśli każde dwa różne zbiory tej rodziny są rozłączne:

$i\ne j \implies A_i\cap A_j = \varnothing$

Przykłady takich rodzin:

• zbiór przedziałów $\{[n,n+1):n\in N\}$ – żadne dwa przedziały z tej rodziny nie zawierają tej samej liczby;
• zbiór prostych na płaszczyźnie równoległych do ustalonej prostej – żadne dwie proste równoległe nie mają punktu wspólnego;
• zbiór klas szkoły podstawowej – żaden uczeń nie należy równocześnie do dwu różnych klas.

Jeżeli $(A_i)_{i\in I}$ jest rodziną zbiorów parami rozłącznych, to jej przekrój $\bigcap_{i\in I}A_i$ jest zbiorem pustym. Przykład rodziny $\{[n,n+1]:n\in N\}$ pokazuje, że wynikanie w drugą stronę nie zachodzi.

Zobacz też

• podział zbioru