CONJUNTOS AJENOS

Estos conjuntos se conocen en la literatura con varios nombres, ajenos, disjuntos o mutuamente excluyentes, la definición de este tipo de conjunto es simple:

A y B son conjuntos ajenos, disjuntos o mutuamente excluyentes, si no tienen elementos en común.

La definición anterior aplica para todos los elementos, de esta forma se puede decir que si un conjunto contiene a un elemento, necesariamente el otro conjunto no lo contiene.

Para ejemplificar el concepto, se tiene:

Es fácil de observar que ningún elemento del conjunto A está contenido en el conjunto B y que de igual manera se cumple que ningún elemento del conjunto B está contenido en el conjunto A. Por tanto A y B son ajenos entre sí.

Los conjuntos:

Al observar los conjuntos M y D, tienen un elemento en común que es el elemento “r”, por tanto M y D no son conjuntos ajenos.

Observa que el conjunto D se define como por comprensión como 

pero en su representación por extensión solamente se coloca un elemento “e”. Esto es importante de resaltar, ya que no tiene sentido que en un conjunto se numeren dos veces el mismo elemento, es más, no es correcto hacerlo.