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