Teoría de Conjuntos - Tarea núm. 2

1. Del libro del curso: p.46, problemas 4,8.

2. Para dos conjuntos A, B se define B^A := { f | f : A --> B } (el conjunto de todas las funciones entre A y B).

   Demuestra que si A, B son conjuntos finitos con m, n elementos (resp.), entonces B^A es un conjunto finito con mⁿ elementos.

3. Para un conjunto A se define su conjunto "potencia" como P(A) := { C | C está contenido en A} (el conjunto de todos los subconjuntos de A).

   Demuestra que P(A) ~ {0,1}^A .