Orderembedding

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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)