<mathematics> A function f : X -> Y is additive if
for all Z <= X f (lub Z) = lub { f z : z in Z }
[FOLDOC]
<2001-03-16>
Try this search on OneLook / Google