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)