Source : Free On-Line Dictionary of Computing

total function
     
         A {function} which is defined for all arguments
        of the appropriate type.  The opposite is a {partial
        function}.
     
        (1997-01-10)