Teori himpunan merupakan fondasi dasar dari matematika modern. Hampir semua cabang matematika, mulai dari kalkulus, aljabar, hingga statistika, dibangun di atas konsep himpunan. Dikembangkan pertama kali oleh Georg Cantor pada akhir abad ke-19, teori ini memungkinkan kita untuk mengelompokkan objek-objek ke dalam satu kesatuan yang terdefinisi dengan jelas.
Secara sederhana, himpunan adalah kumpulan objek yang memiliki sifat atau ciri-ciri tertentu yang terdefinisi dengan jelas. Objek-objek yang berada di dalam himpunan disebut sebagai anggota atau elemen. Sebuah himpunan dikatakan terdefinisi dengan baik jika kita dapat menentukan dengan pasti apakah suatu objek merupakan anggota himpunan tersebut atau tidak.
Sebagai contoh, "kumpulan bilangan asli kurang dari 5" adalah sebuah himpunan karena anggotanya jelas, yaitu {1, 2, 3, 4}. Sebaliknya, "kumpulan orang yang tinggi" bukanlah himpunan karena batasan "tinggi" bersifat subjektif bagi setiap orang.
Ada beberapa cara umum untuk menyajikan sebuah himpunan:
Dalam teori himpunan, terdapat beberapa operasi dasar yang sering digunakan untuk mengolah hubungan antarhimpunan:
Sebuah himpunan A dikatakan himpunan bagian dari B (A B) jika setiap anggota A juga merupakan anggota B. Jika terdapat himpunan yang tidak memiliki anggota sama sekali, himpunan tersebut disebut sebagai himpunan kosong, yang dilambangkan dengan simbol atau {}.
Tanpa teori himpunan, bahasa matematika akan menjadi sangat tidak teratur. Konsep fungsi, relasi, dan struktur aljabar semuanya didefinisikan menggunakan terminologi himpunan. Selain itu, teori ini memiliki peran krusial dalam ilmu komputer, khususnya dalam manajemen basis data, bahasa pemrograman, dan kecerdasan buatan, di mana logika klasifikasi objek menjadi inti dari pemrosesan informasi.
Memahami dasar-dasar teori himpunan bukan hanya tentang mempelajari simbol-simbol matematis, melainkan tentang belajar cara mengklasifikasikan dunia secara logis dan terstruktur.
