[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.
