Himpunan terhitung
caption: Pemetaan bijektif dari bilangan bulat ke bilangan genap
caption: Fungsi pemasang Cantor mengawankan setiap bilangan asli dengan suatu pasangan bilangan asli.
caption: "Pelabelan" dari terhitung banyaknya himpunan terhitung