Try Our Apps


Pore Over vs. Pour Over


order-embedding in Technology

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

The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source

Word of the Day

Word Value for order

Scrabble Words With Friends