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).
| < Previous Terms | Terms Containing order-embedding | Next Terms > |
| Orange Book ORB Orbit Orca Order Code Processor | order-embedding | ordering ordinal ordinate OREGANO O'Reilly and Associates |
