M ulohazalar ustida mantiqiy amallar

To‘plаmning quvvаti - Chekli to‘plаmning аsоsiy хаrаkteristikаsi bu uning elementlаr sоnidir. A chekli to‘plаmdаgi elementlаr sоnini yoki kаbi belgilаnаdi vа А to‘plаmning tаrtibi yoki quvvаti deb hаm yuritilаdi.
Sаnоqli to‘plаm - Аgаr cheksiz to‘plаm elementlаrini nаturаl sоnlаr qаtоri bilаn raqamlаb chiqish mumkin bo‘lsа, u hоldа bu to‘plаm sаnоqli to‘plаm deyiladi, аks hоldа sаnоqsiz to‘plаm bo`ladi.
To’plamlarning dekart ko’paytmasining xossalari.
₁⁰. Dekart ko’paytma kommutativ emas:

₂⁰. Dekart ko’paytma assotsiativ emas:

Binar munosabat. Ba’zan n -ar munosabat iborasi o'rniga n o'rinli munosabat iborasi qo'llaniladi. Agar munosabat bir o'rinli bo'lsa, u holda u unar munosabat, ikki o'rinli bo'lganda esa binar munosabat deb ataladi.
Diskret matematikada fundamental tushun chalardan biri bo'lgan munosabat tushunchasi predmetlar (narsalar) va tushunchalar orasidagi aloqani ifodalaydi. Quyidagi toiiqsiz gaplar munosabatlarga misol bo'la oladi. Odatda, munosabat tushunchasi to'plamlar nazariyasi nuqtai nazaridan turib o'rganiladi. Munosabat tushunchasiga aniqlik kiritish uchun tartiblangan juftlik tushunchasini o'rganamiz.
Kantor teorema - Ixtiyoriy A va B cheksiz to'plamlar berilgan bo‘lsin. Agar B to 'plamni B to ‘plarnning B1 qism to‘plamiga biyektiv akslantiruvchi f akslantirish va B to'plamni A to'plarnning A1 qism to ‘plamiga biyektiv akslantimochi g akslantirish mavjud bo‘lsa, u holda A va B to'plamlar ekvivalentdir.



In’yektiv funksiy(akslantirish) - Agar munosabat qisman funktsiya bo‘lsa, ya’ni bajarilsa funktsiyaga turli qiymatli in’yektiv (inyeksiya) yoki birga- bir funksiya deyiladi va kabi belgilanadi.