Himpunan adalah kumpulan objek yang didefinisikan secara jelas. Terdapat beberapa jenis himpunan seperti himpunan kosong, himpunan semesta, himpunan hingga dan tak hingga, serta himpunan terbilang dan tak terbilang. Notasi penulisan himpunan meliputi bentuk pendaftaran dan pencirian.