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.