Si formula_25, todo se reduce fácilmente a formula_26 considerado que dos conjuntos son iguales si y solo si tienen los mismos elementos.