Axioma da separação: diferenças entre revisões

* A existência da [[interseção]] de conjuntos é garantida por este axioma. Formalmente, dados conjuntos ''y'' e ''z'', e a propriedade <math>\phi(x,y,z) = (x \in y)\,</math>, o axioma diz que existe um conjunto ''w'' tal que <math>x \in w \iff x \in z \land \phi\,</math>

 

{{Correlatos

}}

 

 

{{DEFAULTSORT:Axioma Da Separacao}}