Zu einer Variablenmenge ${\displaystyle {}X_{1},\ldots ,X_{n}}$ und einem ${\displaystyle {}n}$-Tupel ${\displaystyle {}(\nu _{1},\ldots ,\nu _{n})\in \mathbb {N} ^{n}}$ nennt man einen Ausdruck der Form ${\displaystyle {}X_{1}^{\nu _{1}}\cdots X_{n}^{\nu _{n}}}$ ein Monom in den ${\displaystyle {}X_{i}}$.