En vista del axioma de extensionalidad y de la definición anterior, resulta que puede probarse que dos conjuntos formula_17 e formula_18 son iguales si puede probarse que formula_50 e formula_55.