order-embedding meaning

[Computer]
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).

Related Words

  1. order zygnematales meaning
  2. order, orders | order | orders | orders order | meaning
  3. order-chenopodiales meaning
  4. order-driven meaning
  5. order-driven market meaning
  6. ordered meaning
  7. ordered departure meaning
  8. ordered pair meaning
  9. ordered series meaning
  10. orderer meaning
PC Version