auch antitone Funktion genannt, Abbildung der folgenden Art. Sind P₁, P₂ mit den Partialordnungen (Ordnungsrelation) „≤₁ “ bzw. „≤₂“ versehene Mengen, so heißt eine Abbildungf : P₁ → P₂ antiton genau dann, wenn für alle p, q ∈ P₁ aus p ≤₁q folgt, daß f(q) ≤₂f(p) (Monotonie von Funktionen).