A function is called total function of in , if for exists eactly one such as . If a function is total, it’s called just a function.