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).

Last updated: 1995-02-03

Try this search on Wikipedia, OneLook, Google

Nearby terms:

Orbit « Orca « Order Code Processor « order-embedding » ordering » ordinal » ordinary differential equation