¿Qué es Divisor, múltiplo?

Sean $a$ y $b$ números enteros positivos. Se dice que $b$ divide a $a$ (o que $b$ es un divisor de $a$, o que $a$ es múltiplo de $b$) cuando $a = b \times k$ para algún número entero $k$ — es decir, cuando la división de $a$ entre $b$ da resto $0$.