Himpunan terhitung

Dalam teori himpunan, suatu himpunan dikatakan terhitung (atau tercacah) apabila himpunan tersebut mempunyai kardinalitas yang sama dengan himpunan bilangan bulat . Artinya ada pemetaan bijektif dari himpunan ke himpunan .