This seems needlessly pedantic - we could also notice that a total function is just a special case of a partial function, and so total functions are already inc

This seems needlessly pedantic - we could also notice that a total function is just a special case of a partial function, and so total functions are already included by the article.