Numeri naturali
Numeri Naturali: N: 0, 1, 2, ...
0 ∈ N
1 ∈ N; 1 è il successivo di 0
n ∈ N → n̅ ∈ N; n̅ è il successivo di N
Relazione di equivalenza
n̅ = n̅̅ proprietà riflessiva
n̅ = n ⇔ n = n̅ proprietà simmetrica
n̅ = n̅̅̅, n̅̅̅ = n̅̅ ⇒ n̅ = n̅̅ proprietà transitiva
Relazione di ordine
(n, n̅) ∈ N̅̅; n ≼ n̅: n ≼ n̅ ∈ N
n + (n, n̅) = (n, n̅) n̅ proprietà associativa
n + 0 = 0 + n = n; 0 si dice elemento neutro
n̅ = n̅̅ = n̅ n̅ proprietà commutativa
n ˙ ̅ = n̅ ∈ N; (n̅, n̅̅̅) ≼ (n̅, n̅̅) n̅
n̅ + n̅̅ n̅˙̅≥̅0