Total computable function
= Total computable function
= Recursive function
{synonym}
A <total computable function> is a <computable function> whose domain is the entire input space.
A total computable function is a computable function whose domain contains every allowed input.