Este documento define una función como una correspondencia entre los elementos de un conjunto A y los elementos de un conjunto B, donde cada elemento de A corresponde a exactamente un elemento de B. Explica que una función debe cumplir con las propiedades de relación, unicidad y existencia. También clasifica las funciones como inyectivas, sobreyectivas o biyectivas dependiendo de si cumplen condiciones adicionales de inyectividad o sobreyectividad.
3. Concepto: Una función de A en B es una correspondencia entre los
elementos de A y los elementos de B, tal que a cada elemento de A le
corresponde uno y solo un elemento de B.
Definición: Diremos que f es una función de A en B si satisface:
1) Relación
2) Unicidad
3) Existencia
14. Apuntes de Catedra Introducción a la Lógica Matemática 2013 Facultad de Filosofía
Humanidades y Artes.
Wikipedia enciclopedia virtual
http://es.wikipedia.org/wiki/Funci%C3%B3n_matem%C3%A1tica