order-embedding


order-embedding

A function f : D -> C is order-embedding iff for all x, y inD,

f(x) <= f(y) <=> x <= y.

I.e. arguments and results compare similarly. A function whichis order-embedding is monotonic and one-to-one and aninjection.

("<=" is written in LaTeX as \\sqsubseteq).