En matemáticas, una función se dice que es total si "está definida" para todo el conjunto de partida.