TA`RIF: A to`plamdan B to`plamning ayirmasi deb A ga tegishli, lekin B ga tegishli bo`lmagan barcha elementlardan tuzilgan to`plamga aytiladi va uni A\B ko`rinishda belgilanadi. Misol bo`lsa u holda bo`ladi. Quydagi de-Morgan qonunlari o`rinli:
Invalyutsiya qonuni: TA`RIF: A ning B dan va B ning A da bo`lmagan elementlardan tuzilgan to`plamga A va B to`plamlarning simmetrik ayirmasi deyiladi va uni ko`rinishda belgilanadi. Ta`rifga ko`ra bo`lib bo`ladi. Misol bo`lgani uchun bo`lib bo`ladi. TA`RIF: har qanday to`plamning xos qismi to`plami bo`lmagan to`plamga universal to`plam deyiladi. Universal to`plam harfi bilan belgilaylik Quydagi xossalar o`rinli:
To`plamlar ustida amallarni Eyler-Venn diagrammalari orqali ham bajarish mumkin.
Eyler-Venn diagrammalari.
To`plamlar orasidagi munosabatlarni yaqqolroq tasavvur qilish uchun Eyler-Venn diagrammalaridan foydalaniladi. Bunday to`plamlar doira, aval yoki biror yopiq soha shaklida, universal to`plam esa, odatda, to`g`ri to`rtburchak shaklida tasvirlanadi. R
R
Q
AAAAAaaaaaaaaa
N
Ikki to`plamning o`zaro munosabatlarda to`rt hol bo`lishi mumkin.