Definition. Total computability model [math-6G74]

A computability model is total if every operations $f \in C[A,B]$ is a total function $A \to B$.