Def. (Function)
Una función
de en , , es una relación^[Relaciones Binarias] que satisface (Totalidad) y que a cada elemento de
le corresponde uno y sólo uno de . (Unicidad) En lugar de escribir
, se utiliza .
Se derivan tres componentes esenciales
Def. (Dominio, Codominio, Imagen o Rango)
El conjunto de partida
es el , el conjunto de llegada el codominio. La es el subconjunto de tal que
Def. (Partial function)
Es simplemente una función que no necesariamente utiliza todos los valores de su dominio.
En la teoría de la computabilidad, la noción intuitiva de un “algoritmo” fue formalizada con 3 definiciones de funciones equivalentes.^[Funciones computables y nocomputables]
En álgebra se desarrolla la idea de operación binaria^[Operacion Binaria], una función… En general este tema es muy rico, entonces dedico otra sección a la sola acción de organizar las funciones interesantes que voy encontrando:
Igual creo que es importante tener en mente el comportamiento de funciones básicas: