Himpunan yaitu kelompok, kumpulan benda atau objek yang memiliki definisi maupun ukuran pasti sehingga anggotanya dapat disebut dengan jelas.
Teori himpunan adalah cabang logika matematika yang mempelajari himpunan, yang secara informal dapat digambarkan sebagai kumpulan objek. Meskipun objek dalam bentuk apa pun dapat dikumpulkan menjadi satu himpunan,