Himpunan terhitung

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

Rujukan

^ Warsito (2021). Pengantar Matematika (BMP). Tanggerang Selatan: Universitas Terbuka. Parameter |url-status= yang tidak diketahui akan diabaikan (bantuan)
^ Setiadji (2009). Himpunan & logika samar serta aplikasinya. Yogyakarta: Graha Ilmu. Parameter |url-status= yang tidak diketahui akan diabaikan (bantuan)
^ Fatihah, Nurul; Haripamyu, Haripamyu; Ekariani, Shelvi (2020-06-29). "Ukuran Luar Lebesgue di $\mathbb {R} ^{n}$ ". Jurnal Matematika UNAND. 9 (2): 76–83. doi:10.25077/jmu.9.2.76-83.2020. ISSN 2721-9410.

l b s Teori himpunan
Umum	Himpunan (matematika)
Aksioma	Adjungsi Batas ukuran Determinasi Gabungan Himpunan kuasa Keberaturan Kebisadibangunan (V=L) Perluasan Pasangan Pemilihan tercacah terikat global Takhingga Aksioma Martin Skema aksioma penggantian spesifikasi
Operasi	Gabungan Gabungan lepas Himpunan kuasa Hukum De Morgan Irisan Komplemen Produk Kartesius Selisih himpunan Beda setangkup
Konsep Metode	Argumen diagonal Bilangan kardinal (besar) Bilangan ordinal Diagram Venn Elemen pasangan terurut rangkap Hipotesis kontinum Induksi lintas-hingga Kardinalitas Kelas Keluarga Korespondensi satu-ke-satu Pemaksaan Semesta yang bisa dibangun
Jenis himpunan	Himpunan bagian · Superhimpunan Berhingga (turun-temurun) Takhingga (takhingga Dedekind) Kabur Kosong Rekursif Semesta Tercacah Tak tercacah Transitif
Teori	Aksiomatik Alternatif Naif Teorema Cantor Zermelo Umum Principia Mathematica New Foundations (NF, NFU) Zermelo–Fraenkel (ZFC) von Neumann–Bernays–Gödel (NBG) Morse–Kelley Kripke–Platek Tarski–Grothendieck
Paradoks Masalah	Paradoks Russell Masalah Suslin Paradoks Burali-Forti
Teoretisi himpunan	Abraham Fraenkel Bertrand Russell Ernst Zermelo Georg Cantor John von Neumann Kurt Gödel Paul Bernays Paul Cohen Richard Dedekind Thomas Jech Thoralf Skolem Willard Quine