The DICT Development Group

Search for:
Search type:

Database copyright information
Server information

1 definition found
 for partial function
From The Free On-line Dictionary of Computing (30 December 2018) :

  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
     bottom.++Bottom+({LaTeX">where lift(C) = C U bottom.  Bottom ({LaTeX \perp)
     denotes "undefined".

Contact=webmaster@dict.org Specification=RFC 2229