Total

Definition: Total

A partial function [math]f [/math] is total if the support is equal to the domain, i.e. if [math]f [/math] is a function.