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.
Definición
Dos conjuntos A y B son disjuntos si se cumple que ningún elemento de A lo es de B o viceversa:
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.
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 {Ai}i ∈ I:
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.