order-embeddingcomputing dictionary

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

(01 Feb 1995)

ordered, ordered mechanism, ordered on-random off mechanism < Prev | Next > ordering, orderly, ordinal, ordinal

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums