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)
Nearby terms:
Orbit « Orca « Order Code Processor «
order-embedding
» ordering » ordinal » ordinate
|