Divisor

$$\begin{array}{c l}
& 1 0 & | \hspace{-0.09cm} \underline{ \; 5 \quad} \\
& \hspace{-0.45cm} \underline{- 10} & \hspace{0.3cm} 2 \\
& 0 0 & \\
\end{array}
$$

Sejam $a$ e $b$ dois números inteiros, com $a \neq 0$. Indicamos por $a \mid b$ e dizemos que $a$ é divisor de $b$ quando o resto da divisão de $b$ por $a$ for zero.

Matematicamente esta relação é representada pela expressão:

$$ a|b \iff \exists \, k \in \mathbb{Z} \quad \text{tal que} \quad b=k \cdot a $$