Himpunan kosong yang dinotasikan dengan atau ϕ adalah himpunan yang tidak memiliki anggota Himpunan semesta adalah himpunan yang membuat semua anggota yang sedang dibicarakan Himpunan hingga adalah himpunan yang banyak anggotanya terhingga, sedangkan himpunan tak hingga adalah himpunan yang banyak anggotanya tak terbilang ( ∽ ) Himpunan terbilang adalah himpunan yang anggota-anggotanya dapat ditunjukkan satu persatu, sedangkan himpunan tak terbilang adalah himpunan yang anggotanya tidak dapat ditunjukkan satu persatu Himpunan terbatas adalah himpunan yang mempunyai batas atas (batas kanan) dan batas bawah (batas kiri) sedangkan himpunan yang tidak mempunyai batas atas dan batas bawah disebut himpunan tak terbatas