You are here: irt.org | FOLDOC | 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)
Nearby terms: Orbit « Orca « Order Code Processor « order-embedding » ordering » ordinal » ordinary differential equation
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL