|
Order-embedding - Dictionary Definition and Overview |
|
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)
|
|
|
|
|
