Himpunan terhitung

Dalam teori himpunan, suatu himpunan ${\displaystyle A}$ dikatakan terhitung[1][2][3] (atau tercacah) apabila himpunan tersebut mempunyai kardinalitas yang sama dengan himpunan bilangan bulat ${\displaystyle \mathbb {N} }$. Artinya ada pemetaan bijektif dari himpunan ${\displaystyle A}$ ke himpunan ${\displaystyle \mathbb {N} }$.