order-embedding
(redirected from Order embedding)Also found in: Wikipedia.
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).
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).
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)