Himpunan adalah kumpulan objek yang berbeda. Objek-objek tersebut disebut elemen. Himpunan dapat dicantumkan: {1, 2, 3}. Atau dijelaskan: himpunan bilangan genap. Himpunan dapat berupa himpunan terbatas atau tak terbatas. Himpunan kosong, yang dilambangkan dengan ∅, tidak memiliki elemen.

Teori himpunan, yang dikembangkan oleh Cantor pada abad kesembilan belas, menjadi dasar matematika modern. Operasi-operasi yang termasuk di dalamnya adalah gabungan, irisan, selisih, dan komplemen. Diagram Venn memvisualisasikan operasi-operasi ini.

Himpunan muncul di seluruh bidang matematika. Fungsi memetakan himpunan ke himpunan. Probabilitas menggunakan ruang sampel. Logika menggunakan himpunan nilai kebenaran. Dalam ilmu komputer, himpunan adalah struktur data. Konsepnya sederhana tetapi mendasar bagi hampir setiap cabang matematika.

• Kumpulan objek yang berbeda
• Elemen adalah objek-objek tersebut.
• Operasi: gabungan, irisan, komplemen
• Dasar-dasar matematika modern