A diferencia del signo de la igualdad, el símbolo formula_47 no figura dentro del lenguaje de primer orden con el que se construye la teoría ZF, pues la definición antes dada debería en ese caso ser introducida como un axioma que establezca el empleo de formula_47, cosa que no se ha hecho aquí.