der Verband \({\mathcal{T}}\)(ℕ) der positiven ganzen Zahlen, definiert durch \begin{eqnarray}\begin{array}{cccc}m{\le}_{{\mathcal{T}}}\,n\iff m|n & \mathrm f\ddot{\mathrm u}\mathrm r\,\text {alle}\ & m,\,n\in {\mathbb{N}}\end{array}.\end{eqnarray}