Agarbiz o’zbekistonimizni dunyoga tarannum etmoqchi, uning qadimiy tarixi va yorug; kelajagini ulug’lamoqchi, uni avlodlar xotirasida boqiy saqlamoqchi bo’lsak, avalombor buyuk yozuvchilarni, buyuk shoirlarni

6-Ta’rif: Syur’ektiv va in’ektiv moslik bir so‘z bilan biektiv deyiladi.
7-Ta’rif: Hamma yerda aniqlangan funksional moslik akslantirish deyiladi. 
8-Ta’rif: 
X
va 
Y
to‘plamlar orasidagi 
f
moslik biektiv akslantirish bo‘lsa, 
X
va 
Y
to‘plamlar orasida 
o‘zaro bir qiymatli moslik o‘rnatilgan deyiladi. 
Moslik turlariga misollar keltiramiz. 
Misol: Aytaylik 
X
- kiyim iladigan (veshalka) garderobdagi paltolar to‘plami, 
Y
esa shu garderobdagi 
ilgaklar to‘plami bo‘lsin. 
Agar har bir palto ilgakga ilinib turgan bo‘lsa (polda yotmasdan) u holda 
X
to‘plam 
Y
to‘plamga 
akslantirish bo‘ladi. 
Agar bu akslantirishda har bir ilgakga bittadan ortiq palto ilinmagan bo‘lsa(bo‘sh ilgaklar ham bo‘lishi 
mumkin) bu akslantirish in’ektiv bo‘ladi. 
Agar hamma ilgaklar band bo‘lsa (bunda ayrim ilgaklarda bittadan ortiq paltolar ilingan ham bo‘lishi mumkin) 
bu akslantirish syur’ektiv bo‘ladi. 
Agar har bir ilgakda bittadan palto ilingan bo‘lsa (o‘zaro bir qiymatli) bu akslantirish biektiv bo‘ladi. 
9-Ta’rif: 
X
va 
Y
to‘plamlar orasida o‘zaro bir qiymatli moslik o‘rnatilgan bo‘lsa, bu to‘plamlar teng 
quvvatli deyiladi va qisqacha 
Y
X ~
ko‘rinishda yoziladi.
Masalan: Agar 
}
,
,
,
,
{
e
d
c
b
a
X
, 
}
,
,
,
,
{
p
t
z
y
x
Y
bo‘lsa, u holda 
Y
X ~
bo‘ladi, chunki, 
X
va 
Y
to‘plamlar orasida o‘zaro bir qiymatli moslik o‘rnatish mumkin. 
10-Ta’rif: Barcha natural sonlar to‘plami 
N
ga teng quvvatli to‘plamlar sanoqli to‘plam deyiladi. 
Agar ikkita 
X
va 
Y
to‘plamlar orasidagi mosliklarning 
f
G
grafigi 
Y
X
×
dekart ko‘paytmasi bilan 
ustma-ust tushsa, bu moslik to‘la moslik deyiladi. Agar moslik grafigi 
f
G
, bo‘sh bo‘lsa (
∅
=
f
G
) moslik bo‘sh 
moslik deyiladi. 
Ixtiyoriy ikkita 
X
va 
Y
to‘plamlar orasida bo‘sh va to‘la mosliklar mavjud bo‘lishi mumkin. 
X
va 
Y
dekart ko‘paytma to‘plam ostilari ustida turli xil amallarni bajarish mumkin. 
Masalan, 
X
va 
Y
to‘plamlar orasida 
y
xR
va xQy mosliklar grafiklari birlashmasidan iborat bo‘ladi, 
boshqacha aytganda 
y
xS
moslik faqat va faqat 
y
xR
yoki xQy mavjud bo‘lsa bo‘ladi. 
Shuningdek moslikka teskari moslik ham mavjud. 
y
xR
moslikka teskari 
x
y
-1
R
ko‘rinishda yoziladi.