Order-embedding
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)
Read Also:
- Ordering
[awr-der] /ˈɔr dər/ noun 1. an authoritative direction or instruction; command; mandate. 2. a command of a court or judge. 3. a command or notice issued by a military organization or a military commander to troops, sailors, etc. 4. the disposition of things following one after another, as in space or time; succession or sequence: […]
- Orderless
[awr-der] /ˈɔr dər/ noun 1. an authoritative direction or instruction; command; mandate. 2. a command of a court or judge. 3. a command or notice issued by a military organization or a military commander to troops, sailors, etc. 4. the disposition of things following one after another, as in space or time; succession or sequence: […]
- Orderlies
[awr-der-lee] /ˈɔr dər li/ adjective 1. arranged or disposed in a neat, tidy manner or in a regular sequence: an orderly desk. 2. observant of or governed by system or method, as persons or the mind. 3. characterized by or observant of law, rule, or discipline; well-behaved; law-abiding: an orderly assemblage of citizens. 4. pertaining […]
- Orderly
[awr-der-lee] /ˈɔr dər li/ adjective 1. arranged or disposed in a neat, tidy manner or in a regular sequence: an orderly desk. 2. observant of or governed by system or method, as persons or the mind. 3. characterized by or observant of law, rule, or discipline; well-behaved; law-abiding: an orderly assemblage of citizens. 4. pertaining […]
- Orderly-marketing-agreement
noun 1. any of various formal arrangements by which the volume of certain imported commodities, as steel or textiles, is voluntarily reduced. Abbreviation: OMA.