Tolong jelaskan mengenai Sifat aljabar dari Irisan (teori himpunan)

Irisan adalah operasi yang bersifat komutatif; yaitu, untuk setiap himpunan  dan , berlaku:.

Irisan adalah operasi yang bersifat asosiatif; yaitu, untuk setiap himpunan , , dan , berlaku:. Berdasarkan sifat ini, penulisan lambang kurung boleh diabaikan sama sekali tanpa mengubah makna; sehingga bentuk di atas dapat ditulis sebagai .

Irisan bersifat idempoten; yakni, untuk sebarang himpunan  berlaku

Sifat-sifat tersebut bersesuaian dengan logika konjungsi

Irisan bersifat distributif terhadap gabungan dan gabungan bersifat distributif terhadap irisan; yaitu, untuk setiap himpunan  dan , berlaku:..

Dalam semesta , komplemen  dari himpunan  dapat didefinisikan sebagai himpunan dari semua anggota dari  yang tidak termuat dalam . Selanjutnya, irisan dari  dan  dapat ditulis sebagai komplemen dari gabungan dari komplemennya, diturunkan dengan mudah dari hukum de Morganː