Himpunan terhitung

Dalam teori himpunan, suatu himpunan A dikatakan terhitung apabila himpunan tersebut mempunyai kardinalitas yang sama dengan himpunan bilangan bulat N . Artinya ada pemetaan bijektif dari himpunan A ke himpunan N .