Dalam membicarakan objek diskrit,kita sering berhadapan dengan situasi yang berhubungan dengan sekumpulan objek didalam suatu kelompok,dan kita mengacu objek yang termasuk didalam suatu kelompok.Terminologi dasar tentang sekumpulan objek diskrit adalah himpunan. Himpunan digunakan untuk mengelompokkan objek bersama. Teori himpunan merupakan konsep paling dasar dalam pembahasan objek diskrit. Banyak konsep ilmu komputer yang diacu dalam terminologi himpunan.