Total function

A total function $f:A\to B$ is a function where for every element $A$, there exists an output $B$