Вычитание не считается алгебраической операцией на множестве натуральных чисел, потому что если вычесть из меньшего натурального числа большее, то результат (отрицательный) не будет натуральным числом. 2

Например, число −2 = 3 − 5 не является натуральным числом, то есть пара (3, 5) не входит в область определения функции «вычитание». 1