Definizione
248
[2DF]Ricordiamo che un insieme è “numerabile” se ha la stessa cardinalità di \(ℕ\).
Se \(A\) è numerabile, esiste \(a:ℕ→ A\) bigettiva; scrivendo \(a_ n\) invece di \(a(n)\), diremo dunque che \(A=\{ a_{0},a_{1},a_ 2\ldots \} \) è una enumerazione.