Suatu himpunan adalah koleksi objek yang terdefinisi dengan baik; artinya, himpunan itu didefinisikan sedemikian rupa sehingga untuk setiap objek \(x\) yang diberikan kita dapat menentukan apakah \(x\) termasuk dalam himpunan tersebut atau tidak. Objek-objek yang termasuk dalam suatu himpunan disebut elemen atau anggota himpunan itu. Kita akan menyatakan himpunan dengan huruf kapital, seperti \(A\) atau \(X\text{;}\) jika \(a\) merupakan elemen himpunan \(A\text{,}\) kita tulis \(a \in A\text{.}\)