b
A total function is a function
f
:
Dom
→
Im
such that
∀
x
∈
Dom,
∃
y
∈
Im
|
f
=
y
.
= y. = y.