Himpunan (matematika)

Dalam matematika, himpunan dapat dibayangkan sebagai kumpulan benda berbeda yang terdefinisi dengan jelas dan dipandang sebagai satu kesatuan utuh. Dengan terdefinisi yang jelas itu maka dapat ditentukan dengan tegas apakah suatu objek termasuk anggota suatu himpunan atau bukan. Konsep himpunan seperti saat sekarang ini pertama kali dikemukakan oleh seorang matematikawan Jerman, Georg Cantor, pada akhir abad ke-19. Cantor mendefinisikan himpunan sebagai "Hasil usaha pengumpulan beberapa benda yang memiliki suatu ciri pembeda tertentu dan dapat-diperbedakan dalam intuisi atau pikiran kita, menjadi suatu kesatuan". Himpunan merupakan satu di antara konsep dasar matematika, karena hampir semua aspek matematika dapat dibangun dengan konsep himpunan ini. Kajian lebih lanjut mengenai himpunan dipelajari dalam teori himpunan.