Es seien ${\displaystyle {}(M_{1},\leq _{1})}$ und ${\displaystyle {}(M_{2},\leq _{2})}$ zwei Mengen, auf denen jeweils eine Ordnung definiert ist. Eine Abbildung

${\displaystyle F\colon M_{1}\longrightarrow M_{2},\,x\longmapsto F(x),}$

heißt ordnungstreu (oder monoton ), wenn für alle ${\displaystyle {}x,x'\in M_{1}}$ mit ${\displaystyle {}x\leq _{1}x'}$ stets auch ${\displaystyle {}F(x)\leq _{2}F(x')}$ gilt.