der Verband \begin{eqnarray}{M}^{+}({\mathcal I} ({\mathbb{N}}),{\mathbb{N}},\lt)\end{eqnarray}

der antitonen Abbildungen von \({\mathcal I}\)(ℕ) nach ℕ, wobei \({\mathcal I}\)(ℕ) := {ℕ_n : n ∈ ℕ}.