Geordnete Mengen/Abbildung/Ordnungstreu/Definition

Ordnungstreu

Es seien und zwei Mengen, auf denen jeweils eine Ordnung definiert ist. Eine Abbildung

heißt ordnungstreu (oder monoton), wenn für alle mit stets auch gilt.