Mostramos las definiciones básicas de las aplicaciones entre conjuntos como casos particulares de correspondencias y su clasificación siguiendo la misma pauta, en unívocas, inyectivas, suprayectivas, biyectivas. Se describe la composición de aplicaciones, y los teoremas básicos de caracterización de la idea de aplicación y de las aplicaciones, inyectivas, suprayectivas y biyectivas. Mostrando la idea de aplicación recíproca, se presenta el teorema de factorización canónica de una aplicación.

26 junio 2021