Es importante señalar que no podemos prescindir de tomar un conjunto formula_50 de partida, porque de otra manera no podemos aplicar el Esqema Axiomático de Separación a nuestra propiedad.