Partial function
A function which is not defined for all arguments of its input type.
E.g.
f(x) = 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' -> lift(C)
where D' is a superset of D and
ft x = f x if x in D ft x = bottom otherwise
where lift(C) = C U bottom.
Bottom (LaTeX \perp) denotes "undefined".
| < Previous Terms | Terms Containing partial function | Next Terms > |
| parsing Parsley Partial Differential Equation LANguage partial equivalence relation partial evaluation | category function partial function total function | partial key partially ordered set partial ordering Partial Response Maximum Likelihood partition |
