antitone Abbildung

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

\begin{align*} m \leq_M m' \Rightarrow f(m) \geq_N f(m') \end{align*}