Geordnete Mengen/Abbildung/Ordnungsvolltreu/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Ordnungsvolltreu

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

heißt ordnungsvolltreu, wenn für alle genau dann gilt, wenn gilt.