Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of ORDER-EMBEDDING

 
Computing Dictionary
 
 Definition: 

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

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY