Numerische Halbgruppe/Teilerfremde Erzeuger/Führungszahl/Definition/Begriff