## Order Code Processor

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

Last updated: 1995-05-06

### Nearby terms:

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

Try this search on Wikipedia, OneLook, Google

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

Last updated: 1995-02-03

### Nearby terms:

Orca ♦ Order Code Processor ♦ **order-embedding** ♦ ordering ♦ ordinal ♦ ordinary differential equation

Try this search on Wikipedia, OneLook, Google

## ordering

A relation.

See partial ordering, pre-order, total ordering.

### Nearby terms:

order-embedding ♦ **ordering** ♦ ordinal ♦ ordinary differential equation

Try this search on Wikipedia, OneLook, Google

Tweet