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)