Conjuntos disjuntos

En teoría de conjuntos, dos conjuntos son disjuntos o ajenos si no tienen ningún elemento en común. En otras palabras, dos conjuntos son disjuntos si su intersección es vacía.

Por ejemplo {1, 2, 3} y {a, b, c} son conjuntos disjuntos.

Dos conjuntos A y B son disjuntos si se cumple que ningún elemento de A lo es de B o viceversa:

${displaystyle xin Aimplies x otin B,quad { ext{ y }}quad xin Bimplies x otin A}$

Otra manera de expresarlo es mediante su intersección, que está formada por sus elementos en común. La intersección de dos conjuntos disjuntos A y B es vacía.

${displaystyle Acap B=varnothing }$

En general, dada una colección de conjuntos A, B, C, etc. se dice que estos son disjuntos por pares o mutuamente disjuntos si dos conjuntos cualesquiera de la colección son disjuntos entre sí. En términos de una familia de conjuntos {A_i}_{i ∈ I}:

${displaystyle { ext{ Si }}A_{i} eq A_{j}{ ext{ , entonces }}A_{i}cap A_{j}=varnothing }$

Por ejemplo, la colección { {1}, {2}, {3} } es disjunta por pares. La familia { {1, 2}, {2, 3}, {4} } no lo es: a pesar de que no hay ningún elemento común a todos los conjuntos de la misma, la pareja {1, 2} y {2, 3} no es disjunta.