son conjuntos disjuntos.