Разность натуральных чисел является натуральным число только в том случае, если уменьшаемое больше вычитаемого.
Например, 8 − 5 = 3.
Если уменьшаемое меньше вычитаемого или равно ему, то разность натуральных чисел не является натуральным числом.