Ikki to‘plam elementlari orasidagi moslikni ko‘rishdan oldin, ikki to‘plam dekart ko‘paytmasi va uning qism to‘plamlarini misollar yordamida eslaylik. Aytaylik bizga ----media/image1.wmf---- va ----media/image2.wmf---- to‘plamlari berilgan bo‘lsin. U holda ga ega bo‘lamiz. Bu dekart ko‘paytma 64 ta qism to‘plamga ega. Ta’rif ----media/image4.wmf---- dekart ko‘paytmaning istalgan ----media/image5.wmf---- qism to‘plami ----media/image6.wmf---- va ----media/image7.wmf---- to‘plamlar orasidagi binar moslik deyiladi. Binar so‘zi lotincha bis so‘zidan olingan bo‘lib, ikki to‘plam elementlari orasida so‘z borishini bildiradi. Moslik lotin alifbosining ----media/image8.wmf---- kabi harflari bilan belgilanadi va quyidagicha yoziladi: f: A → B yoki A f B. Bizga ma’lum bo‘lgan funksiyalarning hammasi moslik tushunchasiga misol bo‘la oladi.