Nota: Dos pares de conjuntos formula_2 y formula_4 se llaman disjuntos siempre que formula_32.