Este hecho se denomina divisibilidad del número entero formula_4 por el número entero formula_9 y se denota por formula_10; que no es otra cosa que una afirmación entre los números enteros, que, en un contexto concreto, puede ser cierta o no.