Meaning of ORDER-EMBEDDING in English

ORDER-EMBEDDING

A function f : D -> C is order-embedding iff for all x, y in D,

f(x) = > x I.e. arguments and results compare similarly. A function which is order-embedding is monotonic and one-to-one and an injection .

(" LaTeX as \sqsubseteq ).

(1995-02-03)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.