ZFC: diferència entre les revisions

 

===3 Axioma de separació===

Si <math>P</math> és una propietat (amb paràmetre <math>p</math>), aleshores per a tot <math>X</math> i <math>p</math> existeix un conjunt <math>Y=\{u \in X:P(u,p)\}</math> que conté tots els <math>u \in X</math> que tenen la propietat <math>P</math>