catflap.org Online Dictionary Query

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

  partial function
     n.
     (lb en mathematics) A function whose domain is a subset of the set on
  which it is formally defined; i.e., a function ''f'': ''X''→''Y'' for
  which values ''f''(''x'') are defined only for ''x'' ∈ ''W'', where
  ''W'' ⊆ ''X''. Category:en:Functions

  partial function
     n.
     (lb en mathematics) A function whose domain is a subset of the set on
  which it is formally defined; i.e., a function ''f'': ''X''→''Y'' for
  which values ''f''(''x'') are defined only for ''x'' ∈ ''W'', where
  ''W'' ⊆ ''X''. Category:en:Functions

  partial function
     n.
     (lb en mathematics) A function whose domain is a subset of the set on
  which it is formally defined; i.e., a function ''f'': ''X''→''Y'' for
  which values ''f''(''x'') are defined only for ''x'' ∈ ''W'', where
  ''W'' ⊆ ''X''. Category:en:Functions

  partial function
     n.
     (lb en mathematics) A function whose domain is a subset of the set on
  which it is formally defined; i.e., a function ''f'': ''X''→''Y'' for
  which values ''f''(''x'') are defined only for ''x'' ∈ ''W'', where
  ''W'' ⊆ ''X''. Category:en:Functions