Definisjonen krever ikke at er definert for alle elementer i mengden . Dersom funksjonen er definert for alle elementer i , så sies funksjone å være . Vanligvis blir ordet funksjon brukt til å bety en total funksjon. Ikke-totale funksjoner er viktige i funksjonsanalyse, matematisk logikk og kategoriteori.