Actualización del tema 1

Se han modificado algo las notas del Tema 1: Conjuntos. Además de corregir algunas erratas, se ha modificado (para mejor) el enunciado de la proposición 1.1.8 y se ha añadido un nuevo apartado al final: Factorización canónica de una aplicación.