meaning of partial function
1. partial function A function which is not defined for all arguments of its input type. E. g. fx = 1/x if x /= 0. The opposite of a total function. In denotational semantics, a partial function f : D -> C may be represented as a total function ft : D -> liftC where D is a superset of D and ft x = f xif x in D ft x = bottomotherwise where liftC = C U bottom. Bottom LaTeX perp denotes "undefined".
Related Words
