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