strikt isotone Abbildung

Seien \(M,N\) zwei streng halbgeordnete Mengen und \(f: M \rightarrow N\) eine Abbildung \(f\) ist eine strikt isotone Abbildung, falls für \(m,m' \in M\) gilt:

\begin{align*} m <_M m' \Rightarrow f(m) <_N f(m') \end{align*}