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.