Делимость
Два целых числа a и b называются делимыми, если существует такое целое число c, что a = b*c. Обозначение a|b означает, что число a делит число b. Свойства делимости включают в себя транзитивность (если a|b и b|c, то a|c), рефлексивность (a|a для любого целого числа a) и симметричность (если a|b, то b|a).