${\displaystyle {}(M,R)}$

${\displaystyle {}(N,S)}$

${\displaystyle {}R}$

${\displaystyle {}S}$

${\displaystyle \varphi \colon M\longrightarrow N}$

relationstreu, wenn für alle ${\displaystyle {}x,y\in M}$ mit ${\displaystyle {}xRy}$ auch ${\displaystyle {}\varphi (x)S\varphi (y)}$ gilt.

${\displaystyle {}(M,\sqcap ,\sqcup )}$

${\displaystyle {}y\geq x\,,}$

falls

${\displaystyle {}x\sqcap y=x\,,}$

definierte Ordnung, die zugehörige Ordnung.