Wortdarstellung einer Abbildung der Ordnung ℕ _n :={1 < 2 < ··· < n}.

Die Abbildung f : (N, ≤ _N) → (R, ≤ _R), wobei (N, ≤ _N) und (R, ≤ _R) beliebige Ordnungen sind, sei eine antitone Abbildung.

Dann ist f : ℕ _n → (R, ≤) eindeutig durch das Wort f(1) f(2) ··· f(n) mit f(1) ≥ f(2) ≥ ··· ≥ f(n) dargestellt. Das Wort \begin{eqnarray}f(1)f(2)\ldots f(n)\end{eqnarray}

heißt antitones Wort.