EDB — 2DF

[2DF]Ricordiamo che un insieme è “numerabile” se ha la stessa cardinalità di $\mathbb{N}$.

Se $A$ è numerabile, esiste $a:\mathbb{N}\to A$ bigettiva; scrivendo $a_n$ invece di $a(n)$, diremo dunque che $A=\{a_0,a_1,a_2\dots \}$ è una enumerazione.