Source : Free On-Line Dictionary of Computing

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)