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