Definizione
Un insieme si dice
numerabile
se ha la cardinalità di
N
, cioè se si può mettere in corrispondenza biunivoca con l'insieme dei numeri naturali.