Умножение натуральных чисел.

Определение. Умножением натуральных чисел называется соответствие , удовлетворяющее следующим условиям:

1. ;

2. .

Назовем условия 1 и 2 аксиомами умножения.

Теорема 2.Умножение на множестве натуральных чисел является бинарной операцией, существует и притом единственное.