12.1. Definíció
Természetes számok szorzása
Az \N halmazon értelmezett, \cdot-tal jelölt kétváltozós műveletet szorzá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\cdot b eredménye már ismert, úgy teljesül az a\cdot s(b)=(a\cdot b) + a egyenlőség.
A fentiekben 0 a nulla természetes számot, s(x) az x természetes szám rákövetkezőjét, a + szimbólum pedig a természetes számok összeadását jelöli.
♣