Himpunan terhitung itu apa sih?

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 .