order-embedding
Technology Dictionary -> order-embeddingSearch:
order-embedding
A function f : D -> C is order-embedding iff for all x, y in
D,
f(x) <= f(y) <=> x <= y.
I.e. arguments and results compare similarly. A function which
is order-embedding is monotonic and one-to-one and an
injection.
("<=" is written in LaTeX as sqsubseteq).
(1995-02-03)