Assertion: algorithm | /r/HasProperty | partial function
Facets:
Source sentences:
text: If the input numbers, i.e. the domain of the function computed by the algorithm/program, is to include only positive integers including zero, then the failures at zero indicate that the algorithm (and the program that instantiates it) is a partial function rather than a total function.