additive
Technology Dictionary
-> additive
Search:
additive
A function f : X -> Y is additive if
for all Z <= X f (lub Z) = lub f z : z in Z
(f "preserves lubs"). All additive functions defined over cpos are continuous.
("<=" is written in LaTeX as subseteq, "lub" as sqcup ).
(1995-02-03)
©
Art Branch Inc.
SQL Tutorial