Si todos los elementos de un conjunto X se asocian con un elemento de Y mediante una función parcial f:X→Y , entonces se dice que f es una función total, o simplemente una función, como se entiende tradicionalmente este concepto en matemáticas.