Súčin celých nezáporných čísel – definícía a vysvetlenie
Teraz si zadefinujeme na množine celých nezáporných čísel operáciu násobenia.
Nech x a y sú celé nezáporné čísla. Potom:
1. x ∙ 0 = 0,
2. x ∙ y' = x ∙ y + x.
Pomocou tejto definície teraz vypočítame nasledujúce súčiny (už vieme, ako by sme vypočítali súčty):
  • 3 ∙ 0 = 0
  • 3 ∙ 1 = 3 ∙0' = 3 ∙ 0 + 3 = 0 + 3 = 3
  • 3 ∙ 2 = 3 ∙1' = 3 ∙ 1 + 3 = 3 + 3 = 6
  • 3 ∙ 3 = 3 ∙2' = 3 ∙ 2 + 3 = 6 + 3 = 9
  • 3 ∙ 4 = 3 ∙3' = 3 ∙ 3 + 3 = 9 + 3 = 12
Vidíme, že takto definovaný súčin je v zhode s tým, na čo sme pri násobení celých nezáporných čísel už zvyknutí.