VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
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)