Mediante el Esquema Axiomático de Separación podemos definir el conjunto formula_137, es decir, existe el conjunto de todas las aplicacione de formula_1 en formula_2.