Jabarkan Irisan sebarang dari Irisan (teori himpunan)

Perumuman gagasan irisan adalah irisan sebarang kumpulan takkosong himpunan-himpunan. Jika  adalah himpunan bukan kosong yang anggotanya adalah himpunan juga, maka  adalah anggota dari irisan dari  jika dan hanya jika untuk setiap anggota  dari ,  adalah sebuah anggota dari . Secara matematis ditulisː