Definition:Order Embedding/Definition 1

Definition
Let $\struct {S, \preceq_1}$ and $\struct {T, \preceq_2}$ be ordered sets.

Let $\phi: S \to T$ be a mapping.

$\phi$ is an order embedding of $S$ into $T$ :


 * $\forall x, y \in S: x \preceq_1 y \iff \map \phi x \preceq_2 \map \phi y$

That is, an order embedding is an order-preserving, order-reflecting mapping.

Also defined as
It is usual to state in the definition for an order embedding that it be injective.

As can be seen in Order Embedding is Injection, that condition is redundant.

Also see

 * Equivalence of Definitions of Order Embedding