Axiom. (Power Set)
For any
exists :
Def. (Subconjunto)
Un conjunto
es un subconjunto de , denotado si Si
y , entonces es un subconjunto propio de .
El conjunto de todos los subconjuntos de
es llamado conjunto potencia.
De este axioma se desarrolla otras nociones básicas de la teoría de conjuntos.
Def. (Producto)
El producto de
y es el conjunto de pares tales que y :
La notación
El producto
Se define
en general
Por lo tanto
Y definimos
q