Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

order-embedding

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

©2018 Martin Webb