11.4. Definíció
Természetes számok összeadása
Az \N halmazon értelmezett, +-szal jelölt kétváltozós műveletet összeadásnak nevezzük, amennyiben teljesülnek rá a következő tulajdonságok:
1.
2.
Amennyiben valamely a és b természetes számokra az a+b eredménye már ismert, úgy teljesül az a+s(b)=s(a+b) egyenlőség.
A fentiekben 0 a nulla természetes számot, s(x) pedig az x természetes szám rákövetkezőjét jelöli.
♣