Ordnungshomomorphismus

eine Abbildung f zwischen zwei geordneten Mengen (M, ≦) und (N, ≦), die die Ordnung erhält: Sind m₁, m₂ ∊ M mit m₁ ≦ m₂, so gilt im Falle des Ordnungshomomorphismus auch f (m₁) ≦ f (m₂). Streng monoton wachsende Funktionen sind Ordnungshomomorphismen in der Menge der reellen Zahlen.