UNE FAC EPMIN DAMI

GRUPO DE ESTUDIOS:

INTRODUCCIÓN A LA TEORÍA AXIOMÁTICA DE

LOS CONJUNTOS
MÓDULO 5 DE TEXTO

CAPÍTULO IV
CONJUNTOS POTENCIA Y
FAMILIA DE LAS PARTES

4.1 CONJUNTO POTENCIA

4.1.2 FAMILIAS POTENCIA

AXIOMA (de la existencia de una familia potencia para un

conjunto). -

B conjunto( P familia(X: X  B  X  P )).

DEFINICIÓN: A una familia P del axioma 4.1.2 se le llama familia

potencia para el conjunto B.

EJEMPLO (EC). - Sea A = {0; 1} y el referencial R = N.

En este caso A hace el pael de B que aprece en la formulacion

del axioma

i) Determinamos las partes X de A, e. d. los X  A:

∅  A; {0}  A; {1}  A y A  A

ii) Con tales partes formamos el conjunto (familia):

P = {∅; {0}; {1}; A}

Singulete del conjunto vacío: {}

 2

iii) Comparando los conjuntos obtenidos en i) con los elementos

miembros de P en ii), incluyendo los casos triviales,
comprobamos que todos cumplen con el axioma de la
existencia del conjunto potencia, e.d.

B
XAX P.

Vrg. {1}  A  {1}  P

V V V

{0}  A  {0}  P
V V V

Averigüemos para {3; 4; 5}

{3; 4; 5}  A  {3; 4; 5}  P
F V F

iv) Luego, de acuerdo a la definición, P es una familia potencia

para A = {0; 1}. Sin embargo, no es el único. Si consideramos
el axioma 4.1.2 existen más familias potencia para A.
Podemos mostrar dos más, de todos los que son, veamos:

P ’ = { ∅; {0}; {1}; {2}; A} y

{2}  A  {2}  P ’
F V V
Caso trivial porque el antecedente de la implicación
es falso, lo que determina automáticamente que la
implicación es verdadera.

P ’’ = {∅; {0}; {1}; {2}; {1; 2}; A}

P ’’’ = {∅; {0}; {1}; {2}; {1; 2}; {1; 2; 3}; A}

Y cualquiera, P iv o P ‘’’, es también un conjunto potencia

para A de acuerdo a la definición 4.1.2.

AQUÍ SE INICIA LA SESIÓN DEL M 280922

 3

EJERCICIO (EC). - Intuitivamente, ¿Cuántas conjuntos familias

potencia podríamos construir para A = {0; 1} considerando el
referencial indicado? Esboce una justificación analítica.

Respuesta. – Infinitas familias potencia para A.

De P 2 = { ∅; {0}; {1}; {2}; A}, iríamos variando:

P 3 = { ∅; {0}; {1}; {3}; A},
P 4 = { ∅; {0}; {1}; {4}; A},
…
Hacia el infinito.

NOTA 1.- Subrayemos, el conjunto P, potencia para A, no

necesariamente está formado sólo por las partes de A, de
acuerdo al axioma de la existencia de los conjuntos potencia.

NOTA 2.- Recordemos, P es un conjunto cuyos elementos son, a

su vez, conjuntos. Por tal razón, nosotros diremos que P es una
familia de conjuntos y cada elemento suyo será miembro de tal
familia.

4.1 FAMILIA DE LAS PARTES

4.2.1 FAMILIA DE LAS PARTES DE UN CONJUNTO.

TEOREMA (De la existencia y unicidad de la familia de las

partes). - Si A es un conjunto cualquiera, entonces existe y es
único el conjunto potencia de A, denotado P (A), cuyos elementos
son exclusivamente las partes de A. Simbólicamente:

A(!P (A)(X  A  X  P (A)))

AXIOMA: A conjunto( P familia(X: X  A  X  P )).

DEMOSTRACIÓN:

i) Sea A un conjunto cualquiera Hipótesis

 P familia: X  A  X  P Axm. Existencia
de una familia Potencia
para un conjunto dado
[P es una familia potencia para el conjunto A]
 4

ii) Establecemos la aplicación proposicional Q (X): X  A, con

DomX = P Def. de aplicación Proposicional
 !P ’  P : P ’ = {X  P /X  A} = SolQ (X) Axm. de
la Especificación y Teorema de
la Unicidad de la Comprensión

iii) P ’ es familia potencia de A y sus elementos son solamente

las partes de A. Def. de familia Potencia y de ii)

iv) Convengamos en que P ’ = P (A) Def. de igualdad

para Matemática

v) Luego X  P (A)  X  A [Por el paso ii) y el axioma de

igualdad de la extensión]

vi)  Existe y es única la familia potencia P (A) cuyos elementos

son exclusivamente las partes de A.

L.Q.Q.D.

DEFINICIÓN (familia de las partes). - Dados los conjuntos A y la

familia P (A) del teorema 4.2.1, llamamos Familia de las Partes de
A al conjunto P (A). E.d.

P (A) = {X  P /X  A}

NOTA 1.- P (A) es también una familia de conjuntos, cuyos

miembros son todas las partes de A y solamente ellas.

NOTA 2.- Está claro que, por definición, A es conjunto

referencial canónico para todo miembro de P (A).

NOTA 3.- P (A) es también conjunto potencia de A y, por

definición, está incluido en cualquier conjunto potencia de A. Es
decir, es el mínimo de los conjuntos potencia de A, si a estos los
comparamos con la relación .

NOTA 4.- La caracterización lógica de los miembros de una

familia de las partes de un conjunto C es:
 5

X conjunto:
X  P (C)  X  C

De esta caracterización, por la equivalencia de los

contrarrecíprocos tenemos que:

X conjunto:
X  P (C)  X  C

EJERCICIO 1 (EI) .- Sea A un conjunto cualquiera. Demuestre

que si P es un conjunto potencia para A, entonces P (A)  P .

EJEMPLO1(EI).- Dado el conjunto A  a; b; c

i) Determinamos todos los conjuntos incluidos en A:

  A; a  A; b  A;
c  A; a; b  A; a; c  A;
b; c  A; A  a; b; c  A.

ii) Determinamos, con los conjuntos hallados en i), la familia de

las partes de A:

P (A) = {; a; b; c; a; b; a; c; b; c; A}

EJEMPLO 2 (EC).- Determinar por extensión las familias de las

partes para:

i) P ();

ii) P (P ()) y;
iii) P (P (P ())).

SOLUCIÓN:

i) P () = {}
ii) P (P ()) = {; {}; {{}}}
 6

iii) P (P (P ())) = {; {}; {{}}; {; {}}}

¡CORRECTO! Porque:
  {; {}}, porque  está incluido en todo conjunto.
{}  {; {}}, porque el único elemento del primero () es
elemento de {; {}}.
{{}}  {; {}}, porque el único elemento del primero ({}) es
elemento de {; {}}.
{; {}}  {; {}}, porque todo conjunto está incluido en sí
mismo

JERCICIO 2 (EI).- Dado el conjunto J = a; b; a; b,

determine la familia de las partes P (J).

HASTA AQUÍ LA SESIÓN DEL M 280922

DESDE AQUÍ LA SESIÓN DEL K 041022

EJERCICIO 3 (EC). - Dado el conjunto Z (de los números

enteros):

i) Determine P (Z) por comprensión.

SOLUCIÓN:

P (Z) = {X conjunto/X  Z}

ii) Presente dos familias potencia de Z, ambos distintos de P

(Z).

P (Z) es también conjunto potencia para Z. Pero nos piden

familias potencia distintas de P (Z).

SOLUCIÓN:

1
P ’ = {{- }}  P (Z)
2

AZAP ’
 7

{-1}  Z  {-1}  P ´
V V V

NZNP ´
V V V

1 1
{- }  Z  {- }  P ´
2 2
F V V

RZRP ´
F V F

Queda como ejercicio independiente construir un segundo

conjunto potencia para Z.

EJEMPLO 3 (EI).- Para A  a; b, como sabemos se tiene que P

(A)  , a, b, A y familia para la cual, considerando la
relación  como relación de orden sobre P (A), tenemos el
diagrama de Hasse de la figura 11.

Fig. 11. Diagrama de Hasse para P (A).

EJERCICIO 4 (EI).- Sea B  1.

i) Determine P (B) y diseñe un diagrama de Hasse para sus

miembros considerando la relación .
ii) Determine P (P (B)) y diseñe un diagrama de Hasse para sus
miembros considerando la relación .

NOTA 4.- Para calcular el número de miembros de la familia de

las partes para un conjunto A finito se tiene una fórmula que
construiremos deductivamente. Para este efecto, presentaremos
el concepto de “combinación de r en n” y la fórmula para
determinarla.
 8

Definición1 (combinación de n en r). - Dado un conjunto A de n

elementos y un número natural r  n, con n  N. Llamamos una
combinación de los n elementos, separados de r, a cualquier
subconjunto de A que tenga r elementos.

El número de combinaciones de n en r lo denotaremos .

EJEMPLO 3 (EC). - Sea el conjunto C  a; b; c de 3 elementos.
Determine las combinaciones (subconjuntos) de 2 elementos. Es

decir, presente todas las combinaciones .

SOLUCIÓN:

Las presentamos mediante el diagrama de la figura 12.

Fig. 12. Tres combinaciones de 3 en 2.

NOTA 5.- Un elemento importante en la teoría del conteo es

determinar las combinaciones de n en r mediante la fórmula
para calcularlo. La misma que presentamos como un teorema.

Teorema:

Teorema que no demostraremos en este capítulo de nuestro

libro2.
1
Tanto esta definición como otros conceptos, propiedades y procedimientos, sobre números de elementos
de un conjunto (cardinalidad), no corresponden estrictamente, como contenidos, a este capítulo IV de
nuestro libro de Introducción a la Teoría Axiomática de Conjuntos pero, atendiendo al tema transversal
de la didáctica, así como el tratamiento contextualizado que estamos desarrollando, consideramos que es
necesario presentarlos, como noticiando, en esta parte, a nuestro lector, para su cabal comprensión sobre
la familia de las partes de un conjunto. LIPSCHUTZ & LIPSON (1997).
2
Ob. Cit. En Nota al Pie Nº 53. Debemos recordar que n! = n(n-1)(n-2)(…)(3)(2)(1) y 0! = 1.
 9

EJEMPLO 4 (EI).- Determinar el número de miembros de la

familia de las partes para el conjunto A = a; b; c por
procedimientos matemáticos (en el ejemplo 3 lo resolvimos
intuitivamente).

SOLUCIÓN:

Podemos hacerlo de dos maneras:

i) USANDO TÉCNICAS DE CONTEO:

a) Determinamos los números de subconjuntos de A

(miembros de P (A)) que tengan, respectivamente, 0; 1; 2;
o 3 tres elementos.

b) Sumamos los números de subconjuntos de A (miembros

de P (A)) obtenidos en i) a).

CUADRO DEL CÁLCULO DEL NÚMERO DE MIEMBROS EN LA

FAMILIA DE LAS PARTES DE UN CONJUNTO DE 3 ELEMENTOS

CON TÉCNICAS DE CONTEO

TODOS LOS
NÚMERO DE
CÁLCULO DEL NÚMERO DE SUBCONJUNTO(S)
ELEMENTOS
SUBCONJUNTOS MIEMBROS CON EL CON EL NÚMERO
DE CADA
NÚMERO SEÑALADO DE ELEMENTOS SEÑALADO DE
SUBCONJUNTO
ELEMENTOS

0 

1 { a}, { b}, { c}

{ a; b}, { a; c},
2
{ b; c}

3 A = {1; 2; 3}

, { a}, { b},
{ c}, { a; b},
{ a; c}, { b; c}, A

POR EXTENSIÓN
 10

P (A) = (; { a}; { b}; { c}; { a; b}; { a; c}; { b; c}; A } (Familia de 8 miembros)
Cuadro comparativo de los procesos para hallar el número de
miembros de la familia de las partes de un conjunto de 3
elementos.

ii) POR EXTENSIÓN: Determinamos cada una de las partes de

A hasta agotar todas las que puedan existir.

EJEMPLO 5 (generalización del ejemplo 3) (EC).- Determinar el

número de miembros de la familia de las partes P (A) para un
conjunto A que tiene n elementos.

NOTA 6 (Previa a la solución del ejemplo 5). - Recordemos el

teorema del Binomio de Newton que enunciamos3 en seguida:
Teorema (Del Binomio de Newton).- Si a  R, b  R y n  N,
entonces:

SOLUCIÓN DEL EJEMPLO 5

i) (Como en el ejemplo 4) determinamos sucesivamente los

números de subconjuntos determinados por las
combinaciones respectivas de n en el respectivo número de
elementos r, en cada caso:

Número de subconjuntos de A con 0 elementos:

Número de subconjuntos de A con 1 elementos:

Número de subconjuntos de A con 2 elementos:

Así sucesivamente (hasta) …

3
Tampoco efectuaremos la demostración del teorema del binomio de Newton en este libro, pero el lector
puede encontrarla en ROJO (1999) u otra versión en LIPSCHUTZ y LIPSON (2003).
 11

Número de subconjuntos de A con n elementos:

ii) El número total de subconjuntos de A que tiene n elementos,

es decir el número de miembros de P (A) está dada por la
suma:

+ + +…+

iii) Determinamos el valor de la suma de combinaciones

establecida en 1a):

+ + +…+

 11 + 11 + 11 +… + 11

Para recordar el binomio de Newton (no es parte de la

demostración)

 1n10 + 1n-111 + 1n-212 + … + 101n

 (1 + 1)n [Por el teorema del binomio de Newton]
n
2

iv) De i), ii) y iii) concluimos que:

Nº(P (A)) = 2n cuando A tiene n elementos.

Eplicando:

Nº(P (A)) = 2n = + + +…+

 12

4.2.2 PROPIEDADES DISTINGUIDAS DE LA FAMILIA DE LAS PARTES

TEOREMA (Inducción de la inclusión a las familias de las partes).-

A conjunto (B conjunto: A  B  P (A)  P (B))

DEMOSTRACIÓN:

(Estrategia de demostración: Por partes, primero la condición

necesaria y luego la suficiente)

PARTE  (Condición necesaria): A  B  P (A)  P (B)

Hipótesis Tesis
particular particular

(Estrategia particular de demostración: Trabajaremos en la tesis

particular y usaremos la hipótesis particular como dato válido,
en el momento conveniente)

En efecto:

Sea X cualquier conjunto:

X  P (A) [Subfamilia de partida]

XA [Definición de P (A)]
 XB [Hipótesis particular y Transitiva de ]
 X  P (B) [Definición de P (B)]

 X conjunto(X P (A)  X  P (B)) Silogismo hipotético]

E.d. P (A)  P (B)(4) [Definición de  ]

PARTE  (Condición Suficiente): P (A)  P (B)  A  B

Estrategia particular de demostración: La misma que para la

parte 

En efecto:

Sea x un elemento cualquiera:

4
Podemos decir que se cumple la tesis P (A)  P (B), cuando se cumple la hipótesis A  B.
 13

xA [Subconjunto de partida]

 {x}  A [Definición de inclusión]
 {x}  P (A) [Definición de P (E)]
 {x}  P (B) [Hipótesis particular y definición de ]
 {x}  B [Definición de P (E)]
x  B [Definición de inclusión]

 x(x  A  x  B) [Silogismo hipotético]

E.d. A  B [Definición de inclusión]

CONCLUSIÓN: Con las demostraciones de las partes  y 

hemos garantizado: A  B  P (A)  P (B).
L.Q.Q.D.

EJERCICIO (EI). - Establecer las justificaciones

correspondientes que falten para cada uno de los pasos de la
demostración de la parte “ (Condición Suficiente)” en el
teorema de la inducción de inclusión a las familias de las partes.

COROLARIO: A conjunto(B conjunto: A = B  P (A) = P (B))

DEMOSTRACIÓN:

[Demostraremos la equivalencia partiendo de un miembro para

llegar al otro]

A=B [Miembro de partida]

 A  B  B  A [Teorema de la igualdad de conjuntos como
mutuas inclusiones]
 P (A) P (B)  P (B)  P (A) [Teorema de la inducción de
la inclusión a las familias de las partes]
 P (A) = P (B)) [Teorema de la igualdad de conjuntos
como mutua inclusión]
 A = B  P (A) = P (B)) [Silogismo simétrico]

HASTA AQUÍ LA SESIÓN DEL K 041022

4.3 FAMILIA DE PARTES

4.3.1 EL CONCEPTO
 14

DEFINICIÓN: Dado un conjunto A cualquiera. Llamamos familia

de partes de A, a toda familia F t.q. F  P (A).

EJEMPLO 1.- Para A = {a; b; c}, presentamos:

F1 = {; A} es familia de partes de A porque  es parte de A (

 A) y A es parte de A (A  A).
F 2 = {; A; {b}; {b; c}}; es familia de partes de A porque cada uno
de sus cuatro miembros es parte (subconjunto) de A.
F 3 =  es familia de parte de A ¿por qué?
F 4 = { }   es familia de parte de A ¿por qué?

Hemos mostrado cuatro familias de partes del conjunto A. No

están todas las que son. F 4 es la familia vacía de partes de A.

EJEMPLO 2.- Sea A = R, veamos algunas familias de partes:

i) R 1 = {X  P (R)/X  X} =  que es la familia vacía de partes

de R.

ii) R 2 = {X  P (R)/X = [a; b]  a  Z  b  Z  a = -b} que es la

familia de todos los intervalos cerrados de números reales y
cuyos extremos son pares de números enteros opuestos. Así,
[-4; 4]  R 2 y [-4; 5]  R 2.

iii) R 3 = {X  P (R)/X = [a; )  a  R}, donde cada [a, ) =

{x  R/ a < x } .

iv) R 4 = {N, Z, Q, I es la familia formada por los conjuntos de

los números naturales, enteros, racionales e irracionales, en
una presentación axiomática de R.

v) También el propio P (R) es familia de partes de R.

EJERCICIO 1.- Dado el conjunto E  {1; 2; 3; 4}, determine por

extensión las familias de partes de E siguientes:

U 1: La familia de partes formada por los subconjuntos de E

tales que tienen a lo más dos elementos.
 15

U 2: La familia de partes formada por los subconjuntos de E

tales que tienen solo a elementos pares de E.

U 3: La familia de partes formada por los subconjuntos de E

tales que tienen solo a elementos primos de E.

U 4: La familia de partes formada por los subconjuntos de E

tales que tienen elementos menores que 1 en E.

EJERCICIO 2.- Dado el conjunto N, determine por extensión o

comprensión, según sea lo más adecuado, las familias de partes
de N siguientes:

U 1: La familia de partes formada por 10 subconjuntos de N

tales que cada uno sea un singulete.

U 2: La familia de partes formada por cuatro subconjuntos

finitos de N.

U 3: La familia de partes formada por 7 subconjuntos infinitos

de N.

U 4: La familia de partes formada por la parte plena de N.

EJEMPLO 3.- A fin de esclarecer sobre los conceptos de familia

de las partes y familia de partes. Presentamos, de lo general a lo
particular, el ejemplo siguiente:
i) Sea el conjunto referencial R  a; b; c; d.
ii) Con referencial R, establecemos el conjunto A  a; b.
iii) Establecemos la familia de las partes de A:

P (A)  ; a; b; A

Decimos que P (A) es familia de (todas) las partes de A

porque se cumple la definición:

X  P (A)  (X  R: X  A)

iv) Proponemos una familia de partes de A:

Q  ; b
 16

v) Haremos comentarios que nos precisen aún más los

conceptos involucrados en el presente ejemplo:

Q es una familia de partes (no todas) de A. P (A) es también

una familia de partes de A.

EJERCICIO 3.- Dado el conjunto B = 0; 1; 2, considerando la

relación , diseñe el diagrama de Hasse correspondiente para
P (B).

EJEMPLO 4.- Dado un conjunto B  a; b; c. Determine la

familia de partes (subfamilia)  de P (P (B)) tal que cada miembro
de  , a su vez, tenga a lo más un miembro.

NOTA 3 (previa a la solución del ejemplo 5).- Debemos tener

claridad sobre los niveles en los que “nos movemos” al trabajar
con elementos, conjuntos, familias de conjuntos o familias de
familias (de conjuntos). Un diagrama que nos puede ayudar, es
el de la figura 13:

Fig. 13. Niveles de los conjuntos y familias de conjuntos

SOLUCIÓN DEL EJEMPLO 4:

i) Establecemos P (B) que tiene 23  8 miembros, pues B tiene

tres elementos.
 17

P (B)  , B, a, b, c, a, b, a, c, b, c

ii) Como P (B) tiene ocho miembros, tendremos que P (P (B))

tiene 28  256 miembros. Para tener una idea de cómo es
esta familia presentaremos algunos miembros de P (P (B)):

  P (B)    P (P (B)) [ es miembro de P (P (B)]

P (B)  P (B)  P (B)  P (P (B)) [P (B) es miembro de

P (P (B))]

, B, a, b, c, a; b, a; c, b; c.
[Todos los miembros de P (P (B)) que tienen 1 miembro
(conjunto elemento) a su vez]

; B, ; a, b; a; b, a; c; b; c. [Algunos
miembros de P (P (B)) que tienen 2 miembros a su vez]

; B; a, a; b; c, a; b; a, c; b, c. [Algunos
miembros de P (P (B)) que tienen 3 miembros a su vez]

; B; a; b, c; a; b; a; c; b; c. [Algunos
miembros de P (P (B)) que tienen 4 miembros a su vez]

; B; a; b; c, ; B; a; a; b; a; c. [Algunos
miembros de P (P (B) que tienen 5 miembros a su vez]
; B; a; b; c; a; b,
a; b; c; a; b; a; c; b; c. [Algunos miembros de
P (P (B) que tienen 6 miembros a su vez]

; B; a; b; c; a; b; a; c,

; B; a; c; a; b; a; c; b; c. [Algunos miembros de
P (P (B)) que tienen 7 miembros a su vez]

P (B)  ; B; a; b; c; a; b; a; c; b; c. [El miembro
de P (P (B)) que tienen 8 miembros a su vez]

iii) Por lo tanto, la familia de partes (subfamilia)  de P (P (B)) tal

que cada miembro de  , a su vez, tenga a lo más un
miembro, es la siguiente:
 18

  ; ; B; a; b; c; a; b; a; c;
b; c

Recuerde que   P (P (B)).

EJERCICIO 4.- Dado el conjunto C = 1; 2; 3:

i) Determine la familia de partes de C formada exclusivamente

por las partes de C que tienen dos elementos.

ii) Determine la familia  (ni griega) de partes de P (P (C))[5] tal

que  cumpla las cuatro condiciones siguientes:

2a)  tiene 10 miembros;

2b) entre los miembros de  están todas las subfamilias de
P (P (C)) que son los singuletes determinados a su vez
por los singuletes que son partes de P (C);
2c) la familia vacía también pertenece a  y;
2d) Los miembros de  tienen, a su vez, a lo más dos
miembros.

EJERCICIO 5.- Para V  , determine la subfamilia  de

P (P (P (V))) formada por los miembros que, a su vez, tengan dos
miembros.

4.4 EJERCICIOS COMPLEMENTARIOS DEL CAPÍTULO IV

4.4.1 Sea N el referencial. Determine una familia de partes de N tal

que tenga cinco miembros.

4.4.2 Sea Z el referencial. Se establece una parte Vn de Z tal que:

Vn = x  Z / l x l  n  n  N.

a) Determine V4 por comprensión y extensión.

b) Determine por comprensión la familia V de partes de Z,
cuyos miembros son los conjuntos Vn.
c) ¿Hay algún miembro de V que sea vacío? Si lo hubiese,
denótelo en la forma Vn con el n específico correspondiente.

5
¡CUIDADO! No confundir “familia de las partes de A” con familia de las partes de P (A).
 19

4.4.3 Sea N el referencial. Se establece una parte Mp de tal que

p  2; 3; 4 y Mp = x  N / 28  x  40  x es múltiplo de p.

a) Determine por comprensión cada una de las tres partes Mp

de N, determinadas por los valores posibles de p.
b) Determine por extensión cada una de las tres partes Mp de
N, determinadas por los valores posibles de p.
c) Determine, por extensión la familia de partes de N,
determinadas por los valores posibles de p.

4.4.4 Sea el conjunto M = 2; 5 con referencial N. Determine tres

conjuntos potencia (distintos entre sí) para el conjunto M.

4.4.5 Determine la familia de las partes K = 2, 2

4.4.6 Se el conjunto Z el conjunto de los números enteros negativos.

a) Proponga un conjunto potencia para Z, que sea distinto de
P (Z) pero que sea parte propia de P (Z).
b) Presente tres conjuntos infinitos que sean miembros del
conjunto potencia que propuso en a).

4.4.7 Dado el conjunto B = 1, 1; 2, 1, 1; 2, 3.

a) ¿Cuántos elementos tiene? ¿Cuáles son?

b) ¿Es una familia de conjuntos? ¿Por qué?
c) ¿Cuántos elementos tiene P (B)?
d) Escribe todos los miembros de P (B) que tengan dos
elementos.

4.4.8 Dado el conjunto C = , 1, 1; 2.

a) Determine por extensión P (C).

b) Diseñe un diagrama de Hasse para P (C), con la relación de
inclusión.

Hasta la página 64 del libro original