12.1. Definíció

Természetes számok szorzása

Az halmazon értelmezett, -tal jelölt kétváltozós műveletet szorzásnak nevezzük, amennyiben teljesülnek rá a következő tulajdonságok:

1.
Tetszőleges természetes szám esetén .
2.
Amennyiben valamely és természetes számokra az eredménye már ismert, úgy teljesül az egyenlőség.

A fentiekben a nulla természetes számot, az természetes szám rákövetkezőjét, a szimbólum pedig a természetes számok összeadását jelöli.