Si el número entero a se divide por el número entero b distinto de cero, el cociente es un número entero y el resto es cero, decimos que a se puede dividir entre b (o que b puede dividir a a), denotado como b |a. Tenga en cuenta que si b es 0, no se llama división entera.

Propiedades de la divisibilidad: (1) Si a es divisible por b y c es cualquier número entero, entonces el producto ac también puede ser divisible por b (2) Si a es divisible por b y c al mismo tiempo, y byc son primos relativos, entonces a debe ser divisible por el producto bc, y viceversa.