Computing Dictionary

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

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: order-driven
Next Definition: order-port
Words Near: order-embedding
More from Thesaurus.com
Synonyms and Antonyms for order-embedding
More from Reference.com
Search for articles containing order-embedding
More from Dictionary.com Translator
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature