ALL meanings of order-embedding
- noun Technical meaning of 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). 1