Welcome guest
You're not logged in.
250 users online, thereof 0 logged in

When comparing ordered sets among each other, it is sometimes necessary to decide if their orders are similar or in essence “the same” kind of orders. The following definition states more precisely what is meant by that.

Definition: Order Embedding

Let $(X,\preceq)$ and $(Y,\preccurlyeq)$ be two posets, chains or strictly ordered sets. An order embedding is an injective function $f:X\to Y$ with the property $a\preceq b$ if and only if $f(a)\preccurlyeq f(b)$ for all $a,b\in X.$

Note

The concept of an order embedding is a generalization of a monotonic function known from analysis. Please also note that $f$ must be injective. Otherwise, $f(a)=f(b)$ could be possible, even if $a\neq b,$ in contradiction to the definition of an order embedding.

| | | | | created: 2019-03-01 19:40:53 | modified: 2019-03-01 20:01:34 | by: bookofproofs | references: [979]


This work was contributed under CC BY-SA 3.0 by:

This work is a derivative of:

(none)

Bibliography (further reading)

[979] Reinhardt F., Soeder H.: “dtv-Atlas zur Mathematik”, Deutsche Taschenbuch Verlag, 1994, 10

FeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint
© 2018 Powered by BooOfProofs, All rights reserved.