Sei ${\displaystyle {}M\subseteq \mathbb {N} }$ ein numerisches Monoid mit teilerfremden Erzeugern. Dann nennt man die minimale Anzahl von Elementen in einem Erzeugendensystem für ${\displaystyle {}M}$ die Einbettungsdimension von ${\displaystyle {}M}$.