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

Last updated: 1995-02-03

Nearby terms:

ADD 1 TO COBOL GIVING COBOL ♦ ADDD ♦ additive ♦ address ♦ address book

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading