Relación entre dos números enteros que consiste en que uno de ellos es divisible entre el otro (es decir, no hay residuo en el resultado del algoritmo de la división.) Nota: el menor de los números no puede ser dividido entre el mayor ("el mayor no cabe en el menor").
La relación de divisibilidad entre dos números m y n se expresa mediante la frase "divide a" y se utiliza el símbolo | para denotarla. Así, 17 divide a 221 se expresa simbólicamente como 17|221. Notemos que un número es divisible entre cualquiera de sus divisores (factores).
Nota: El símbolo | para denotar "divide a" es difícil de establecer en la mente del aprendiz porque entra en conflicto con el símbolo / ("entre"); es por eso que el aprendiz debe hacer un esfuerzo consciente para instalarlo en su repertorio de símbolos conocidos.