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