ZFC: diferència entre les revisions
Contingut suprimit Contingut afegit
Línia 43:
:<math>\forall X \exist Y \forall u (u \in Y \leftrightarrow u \subset X)</math>
Un conjunt <math>u</math> és un subconjunt de <math>X</math>, (<math>u \subset X</math>) si <math>\forall z(z \in u \rightarrow z \in X)</math>.
Quan <math>u \in X</math> i <math>u \ne X</math> diem que <math>u</math> és un ''subconjunt propi'' de <math>X</math>.
| |||