При сложении и умножении натуральных чисел всегда получается натуральное число. Вычитание не подходит потому, что если число, из которого вычитают будет меньше числа, которое вычитают, то полученное число будет отрицательным (отриц. числа не являются натуральными). Деление же не подходит потому, что среди натур. чисел не все делятся на какое-то определенное число без остатка (к примеру, 7 не делится без остатка на 5, получится дробное число, а дробное число не является натуральным).