Es sei e ∈ N + {\displaystyle {}e\in \mathbb {N} _{+}} und sei M := { 0 } ∪ N ≥ e ⊆ N {\displaystyle {}M:=\{0\}\cup \mathbb {N} _{\geq e}\subseteq \mathbb {N} } .