А\В bu а to‘plamga tegishli, lekin в to‘plamga tegishli bo‘lmagan elementlar to‘plami

А va В to‘plam elementlari orasidagi moslik deb nimaga aytiladi?
А×В dekart ko‘paytmaning ixtiyoriy to‘plam ostisiga aytiladi.
АВ birlashmasining ixtiyoriy to‘plam ostisiga aytiladi.
А∩В kesishmasining ixtiyoriy to‘plam ostisiga aytiladi. А\В ayirmaning ixtiyoriy to‘plam ostisiga aytiladi.
Agar moslikning aniqlanish sohasi birinchi to‘plam bilan ustma-ust tushsa, bunday moslik hamma yerda aniqlangan deyiladi.
syuryektiv deyiladi.. fuktsional deyiladi. inyektiv deyiladi.
Agar moslikda birinchi to‘plamning har bir elementiga ikkinchi to‘plamning bittadan ortiq bo‘lmagan elementi mos bo‘lsa, bunday moslik hamma yerda aniqlangan deyiladi. syuryektiv deyiladi.. fuktsional deyiladi. biyektiv deyiladi.
Syuryektiv va inyektiv moslik hamma yerda aniqlangan deyiladi. fuktsional deyiladi.
i deyiladi. biyektiv deyiladi.
Agar moslikda ikkinchi to‘plamning har bir elementiga birinchi to‘plamning bittadan ortiq bo‘lmagan elementi mos kelsa, bunday moslik hamma yerda aniqlangan deyiladi. syuryektiv deyiladi.. fuktsional deyiladi. inyektiv deyiladi.
Agar moslikning qiymatlar to‘plami ikkinchi to‘plam bilan ustma-ust tushsa, bunday moslik hamma yerda aniqlangan deyiladi. syuryektiv deyiladi.. fuktsional deyiladi. inyektiv deyiladi.
Agar ixtiyoriy a, b_M uchun abba shart bajarilsa,u holda * amali … deyiladi. distributiv
kommutativ assotsiativ o‘ngdan distributiv
Agar ixtiyoriy a, b,c_M uchuna_(b_с) _ (_аb) _c shart bajarilsa, u holda
ko‘paytirish amali … kommutativ assotsiativ chapdan distributiv
distributiv
Agar ixtiyoriy a, b,c_M uchun (ab)c (ac)  (bc) shart bajarilsa, u holda * amali … deyiladi.
kommutativ
assotsiativ distributiv
o‘ngdan distributiv