sudconjunto. inclusion

se dise que el conjunto s esta incluido en otro conjunto c si,y solo si, todo elemento de s pertenese a c entonses, s se llama un subconjunto de c

c=frutas 

s=fruta citrica 

s c ←→(∀x)x E s → x e c

se lee: S en subconjuntos de C o S esta incluido en C SI,para todos x, el hecho de que x pertenezca al subconjunto s implica que x pertenece al conjunto c.

scc

s=[lima. limon...naranja

c=[pera, banana, limon,naranja...durazno]

(definidos par extension).

En particular. todo conjunto C es subconjunto de si mismo, C c C.Ademas, el conjunto vacio ø se considera que este contenido en cualquier conjunto C,ø c C.

El conjunto formado por todos los subconjuntos S de un conjunto C se denomina conjunto de las partes de C y se simboliza par P(C). para todos conjunto C, C E P(C) y ø E P(C).

 por ejemplo, si:

C={a,b,c}

y si

S1={a},S2={b},S3={c}s4={a,b},

S5={a,c}s6={b,c},

Entonces:

                    P(C)={ø,S1,S2,S3,S4,S5,S6,C}.