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