To‘plamlar algebrasi

2-teorema (birlashmaga nisbatan kommutativlik qonuni). Ixtiyoriy A va В to 'plamlar uchun tenglik о‘rinlidir.
Isboti. To'plamlarning birlashmasiga berilgan ta’rifga ko'ra, to'plam ning har bir elementi yo A to'plamda yoki В to'plamda topiladi, chunki to'plam A va В to'plamlarning barcha elementlaridan takrorlanmasdan tuzilgan. Yana o'sha ta’rifga ko'ra, to'plam ham A va В to'plarnlarning barcha elementlaridan takrorlanmasdan tuzilganligi uchun to'plamning har bir elementi to'plamga ham tegishli bo'ladi. Xuddi shunday mulohazalarni to'plam uchun yuritib, uning har bir elementi to'plamda ham bor bo'lishini aniqlaymiz. Demak, . ■
3- teorema (birlashmaga nisbatan assotsiativlik qonuni). Ixtiyoriy A , В va С to'plamlar uchun tenglik о‘rinlidir.
Isbot. to'plamning ixtiyoriy elementi x bo'lsin. Birlashmaning ta’rifini qo'llasak, quyidagilarga ega bo'lamiz: yoki . munosabatdan yoki ekanligi kelib chiqadi. Demak, yoki . Shuning uchun . Xuddi shunday mulohaza yuritib, to'plamning ixtiyoriy elementi to'plamning ham elementi bo'lishini aniqlaymiz. Demak, .
Birlashmaga nisbatan assotsiativlik qonuniga ko'ra A , В va С to'plamlarga birlashma amalini qanday tartibda qo'llashning ahamiyati yo'q. Shuning uchun A, В va С to'plamlarga birlashma amalini qo'llash natijasida hosil bo'lgan to'plamni deb belgilash ham mumkin.
Ikkita to'plam ning birlashmasi amaliga berilgan ta ’rif ixtiyoriy chekli sondagi to'plamlarning birlashmasi uchun ham qo'llanilishi mumkin: har qanday chekli sondagi to'plamlarning barcha elementlaridan takrorlanmasdan tuzilgan to'plamga shu to'plamlarning birlashmasi deb aytiladi.
to'plamlarning birlashmasini yoki ko'rinishda belgilash qabul qilingan.
Birlashmaga nisbatan kommutativlik qonuniga ko'ra, birlashma to'plamni quyidagi usul bilan ham tashkil etish mumkin. Oldin berilgan
to'plamlardan ixtiyoriy ikkitasining, masalan va to'plamlarning birlashmasini tuzish, keyin to'plam bilan , to'plamlardan boshqa ixtiyoriy to'plamning birlashmasini tuzish, va hokazo, ketma-ket birlashma to'plamlarni tuzish natijasida to'plamlaming birlashmasini hosil qilish mumkin. Har biri chekli bo'lgan to'plamlar uchun munosabat o'rinlidir. Bu munosabat berilgan to'plamlarning hech bo'lmaganda ikkitasi umumiy elementga ega bo'lsagina qat’iy tengsizlik ko'rinishda va berilgan to'plamlarning barcha mumkin bo'lgan juftlari umumiy elementga ega bo'lmasagina tenglik ko'rinishda bajariladi.
1- misol. A = {a,b}, В = {a,b,c}, C = {e,f,k} va D = {i,j} bo'lsin. U holda va bo'ladi. Ko'rinib turibdiki, . Bu yerdagi barcha to'plamlarning quvvatlarini aniqlaymiz: . Ular uchun
(A va B to'plamlarda ikkita umumiy a va b elementlar bor) va (В bilan С, С bilan D va В bilan D juftliklar umumiy elementga ega emas). ■