Если для некоторого целого числа \(a\) и целого числа \(b\) существует такое целое чисто \(q\), что \(b\cdot q = a\), то говорят, что число \(a\) делится нацело на \(b\), или что \(b\) делит \(a\). Саму \(\textbf{делимость}\) (на какое-то число) можно считать свойством числа.

При этом число \(b\) называется \(\textbf{делителем}\) числа \(a\), а \(\textbf{делимое}\) \(a\) будет \(\textbf{кратным}\) числа \(b\), а число \(q\) называется \(\textbf{частным}\) от деления \(a\) на \(b\)

Обозначение: \(b \, | \, a, a \, \vdots \, b\)