additive
<mathematics> 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)
Nearby terms:
AD/Cycle « ADD 1 TO COBOL GIVING COBOL « ADDD «
additive
» address » address bus » addressed call mode
|