A total function is [see page 21, defined] for all elements of its domain. That is it accepts and returns a value for all the elements of its domain.