ta’rif. va funksiyalar mulohazalar algebrasining funksiyalari, o‘zgaruvchilar esa ularning hech bo‘lmaganda bittasining argumentlari bo‘lsin. Agar argumentlarning barcha qiymatlar satrlari uchun f va g funksiyalarning mos qiymatlari bir xil bo‘lsa, u holda va funksiyalar teng kuchli funksiyalar deb ataladi.
Agar berilgan funksiyalar teng kuchli bo‘lmasa, u holda ular teng kuchlimas funksiyalar deb yuritiladi.
Berilgan va funksiyalarning teng kuchliligi shaklda yoziladi. Agar va funksiyalar teng kuchlimas funksiyalar bo‘lsa, u holda yozuvdan foydalaniladi. Tа’rif 9.Аgаr to‘plаm elementlаri sоni chekli bo‘lsа, u hоldа to‘plаm chekli to‘plаm deyilаdi, аks hоldа esa cheksiz to‘plаm bo`ladi.
Tа’rif 9. Аgаr to‘plаmning hаr bir elementi to‘plаmning hаm elementi bo‘lsа, u hоldа to‘plаm to‘plаmning qism to‘plаmi yoki to’plаm оstisi deyilаdi vа , ba`zan xos qism to`plam deb ham yuritiladi.
Ø to‘plаm va to’plamning o’zi xosmas qism to`plam deyiladi.
Ø to‘plаm iхtiyoriy to‘plаmning хоsmаs qism to‘plаmi bo’ladi.
2) Tа’rif 5.Chekli vа sаnоqli to‘plаmlаrgа diskret to‘plаmlаr deyilаdi.
dan gacha bo’lgan butun sonlar to’plami – diskret to’plam bo’lib, uni
ko’rinishida yozish mumkin.
Shunday to’plamlar borki, ularning barcha elementlari boshqa biror kattaroq to’plamga tegishli bo’ladi. Masalan, ning barcha elementlari ning ichida yotibdi.
Konʼyunktsiya, dizʼyunktsiya, inkor, implikatsiya, ekvivalentlik amallar
bunga , , – mos ravishda natural, butun, haqiqiy sonlar to`plami.
Misоl 9. – barcha daraxtlar to’plami,
– mevali daraxtlar to’plami bo’lsa, bo’ladi
