Сложение и вычитание целых неотрицательных чисел

Пусть а = п(А); b = п(В).

Определение 16. Суммой чисел а и b называют количество эле­ментов в объединении непересекающихся множеств А и В. а + b = п(АÈ В), если А Ç В = Æ.

Так как А Ç В = Æ, то п(АÈ В) = п(А) + п(В)

(для любых множеств А и В п(АÈ В) = п(А) + п(В) – n(А Ç В)).

Теорема. Сумма двух любых целых неотрицательных чисел всегда существует и определена однозначно.

______________________________________________________________________

Определение 6. Операция по нахождению суммы целых неотри­цательных чисел называется операцией сложения.

___________________________________________________________________________________________________