additive 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)
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.