Función total
De Wikipedia, la enciclopedia libre
En matemáticas, una función se dice que es total si está definida para todo el conjunto de partida. Para comprender esto, debemos saber que:
Sea f: A → B, diremos que f está definida para un elemento 
si existe un par 
. Esto se escribe como f(a) = ↓. Por el contrario, escribiremos f(a) = ↑ cuando f no está definida para a.
Una función que no es total, es decir, que está indefinida para algún/os elemento/s, se conoce como parcial.
