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

Last updated: 1995-02-03

### Nearby terms:

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

Try this search on Wikipedia, OneLook, Google

Loading