Contenidos del programa:
1. Inducción matemática
2. Definiciones inductivas y pruebas por inducción
3. Pertenencia: conjunto, elemento, caracterización de
los conjuntos por extensión y por comprensión, igualdad de
conjuntos, clase propia, clase universal
4. Combinaciones: subconjunto (propio), unión, intersección,
complemento relativo, conjunto vacío, conjuntos disyuntos, clase
potencia, unión generalizada
5. Relaciones: conjunto unitario, tuplo ordenado, producto cartesiano,
relación n-ádica, propiedad, dominio, rango, campo
6. Tipos de Relaciones: relaciones reflexivas, irreflexivas,
simétricas, asimetricas, antisimétricas, transitivas, intransitivas,
conectadas, de equivalencia, de identidad, clases de equivalencia
7. Funciones: funciones totales y parciales, restricción,
imagen (inversa), mapeo, operación n-ádica, composición
de funciones, funciones uno-uno
8. Cardinalidad: correspondencia, equinumerosidad, cardinalidad
(denumerable, finita, infinita, contable)
9. Axiomas: T, de pareado, del conjunto vacío, de existencia,
de unión, del conjunto potencia, de subconjuntos, de reemplazo y
de infinitud.