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)
Try this search on Wikipedia, OneLook, Google
Nearby terms: Orbit « Orca « Order Code Processor « order-embedding » ordering » ordinal » ordinary differential equation
