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 ).

Nearby terms:
AD/Cycle « ADD 1 TO COBOL GIVING COBOL « ADDD « additive » address » address bus » addressed call mode