[2DD]Un insieme A equipotente a ℕ si dice numerabile; 1 un tale insieme è infinito (per il risultato [2GH]↺↻ sopra riportato). Diremo che un insieme A ha cardinalità al più numerabile se è finito o numerabile.