By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend


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


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions