ZFC: diferència entre les revisions

Contingut suprimit Contingut afegit
m Correcció tipogràfica: espais sobrants
m Corregit: un altra conjunt > un altre conjunt
Línia 27:
Cal tenir en compte que per a cada fórmula <math>\phi (u,p)</math>, la fórmula anterior és un axioma. Per això a vegades se l'anomena ''Axioma del esquema de Separació''.
 
Una conseqüència directa del Axioma de Separació, és que la intersecció i la resta de dos conjunts és un altraaltre conjunt i es poden definir les operacions: <math>X \cap Y = \{ u \in X : u \in Y \}</math> i <math>X - Y = \{ u \in X : u \notin Y \}</math>.
 
===4 Axioma de la Unió===