En matemáticas, básicamente en aritmética, 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.