Es sei M ⊆ N {\displaystyle {}M\subseteq \mathbb {N} } ein durch teilerfremde Erzeuger definiertes numerisches Monoid. Dann nennt man die minimale Zahl f {\displaystyle {}f} mit N ≥ f ⊆ M {\displaystyle {}\mathbb {N} _{\geq f}\subseteq M} die Führungszahl von M {\displaystyle {}M} .
