Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

additive

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

©2018 Martin Webb