En matemáticas, se dice que un número entero b es divisible entre un entero a (distinto de cero) si existe un entero c tal que: b = a · c. Esto es equivalente a decir que b es exactamente divisible por a, o bien, que el resto de la división euclídea es cero. Se suele expresar de la forma a|b, que se lee: a divide a b, o a es un divisor de b o también b es múltiplo de a.