Order Code Processor

<processor>

The ICL 2900, ICL 3900 and above term for "CPU".

Last updated: 1995-05-06

order-embedding

<mathematics>

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

ordering

partial order

Nearby terms:

Orbit ♦ Orca ♦ Order Code Processor ♦ order-embedding ♦ ordering ♦ ordinal

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading