CONJUNTO POTENCIA

La familia de todos los subconjuntos de un conjunto S se llama conjunto de S.

S
2

13. Ejemplo si M = a, b { }

M
2
= a, b { }, a { }, b { }
{
, !}
CONJUNTOS DISJUNTOS
Si A y B no tienen elementos comunes se dice que son disjuntos.
DESAROLLO ANXIOMATICO DE LA TEORIA DE CONJUNTOS
Se comienza por :
(1) Trminos no definidos.
(2) Relaciones no definidas.
(3) Anxiomas que relacionan los trminos no definidos y relaciones no definidas.
(1) "elementos" y conjuntos son trminos no definidos.
(2) "pertenencia de un elemento a un conjunto" es la relacin no definida.
(3) Dos de los anxiomas son:
14. Anxioma de extensin A = B ! A" B y B " A
15. Anxioma de especificacin: Sea P(x) una afirmacin y sea A un conjunto.
B= a a ! A, P(a) es cierta}
{