Himpunan adalah kumpulan objek yang didefinisikan dengan jelas dan mempunyai syarat tertentu. Himpunan dapat dinyatakan melalui daftar anggota, kata-kata, atau syarat keanggotaan dan biasanya disimbolkan dengan huruf balok besar. Contoh-contoh himpunan diberikan untuk menjelaskan cara penyatakan himpunan secara formal.