Total Function

math

Definition

Total Function

A total function $f:A\to B$ is a function that is defined for every element in its domain.

Formally, if $f:A\to b$ is a total function, then:

$$\forall a\in A:\exists !b\in B:f(a)=b$$