Súčet celých nezáporných čísel – definícía
Keď už máme vybudovanú množinu celých nezáporných čísel, budeme na nej definovať operácie sčítania a násobenia a reláciu usporiadania. Začneme definíciou sčítania.
|
Nech x a y sú celé nezáporné čísla. Potom:
|
|
1. x + 0 = x
,
|
|
2. x + y' = (x + y)'.
|