O que é Divisor, múltiplo?

Sejam $a$ e $b$ números inteiros positivos. Dizemos que $b$ divide $a$ (ou que $b$ é um divisor de $a$, ou que $a$ é um múltiplo de $b$) quando $a = b \times k$ para algum inteiro $k$ — isto é, quando a divisão de $a$ por $b$ deixa resto $0$.