Potenza del numerabile
Un insieme A ha la potenza del numerabile se esiste una corrispondenza biunivoca tra l'insieme A e l'insieme infinito dei numeri naturali.
Se l'insieme A è in corrispondenza biunivoca con l'insieme dei numeri naturali, l'insieme A è detto numerabile e si può scrivere nel seguente modo:
$$ A=\{ a_0, a_1, a_2, ... \} $$
Gli elementi dell'insieme numerabile sono numerati con gli indici 0,1,2.
Nota. In alcuni casi l'indice parte da 1 anziché 0, ossia 1,2,3... Il concetto è sempre lo stesso.
E così via.