Натуральные числа замкнуты относительно сложения и умножения, а вычитание и деление дают натуральный результат не всегда. Делимость проверяется через равенство \(a = b \cdot c\) и обладает свойством транзитивности.