VDict mobile



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
("#@=" is written in LaTeX as subseteq, "lub" as sqcup ).
(1995-02-03)