Los dos conjuntos son o iguales o disjuntos.