<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 ).
(03 Feb 1995)