Begriff aus der elementaren Zahlentheorie. Sind n und d natürliche Zahlen, so nennt man d einen Teiler von n, falls es eine natürliche Zahl d′ mit der Eigenschaft \begin{eqnarray}n=d\cdot {d}^{\prime}\end{eqnarray}

gibt; in diesem Fall nennt man \({d}^{\prime}={\displaystyle \frac{n}{d}}\) den zu d komplementären Teiler von n. Ist d ≠ n, so nennt man d einen echten Teiler von n.

Diese Definition ist ohne weiteres auf mathematische Strukturen mit einer Multiplikation, z. B. auf Ringe, übertragbar.