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