zwei natürliche Zahlen m, n mit der Eigenschaft \begin{eqnarray}gg\text{T}(m,n)=1.\end{eqnarray}

Man erkennt die Teilerfremdheit von m und n unschwer an der kanonischen Primfaktorzerlegung: Gelten \begin{eqnarray}n=\displaystyle \prod _{p}{p}^{{\nu}_{p}(n)}\quad \text{und}\quad m=\displaystyle \prod _{p}{p}^{{\nu}_{p}(m)},\end{eqnarray}

so sind m und n genau dann teilerfremd, wenn für jede Primzahl p höchstens eine der Vielfachheiten ν_p(n) und ν_p(m) von 0 verschieden ist.