You are here: irt.org | FOLDOC | 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 ).
(1995-02-03)
Nearby terms: AD/Cycle « ADD 1 TO COBOL GIVING COBOL « ADDD « additive » address » address book » address bus
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL