تناظر G بین مجموعه ها آو که درزیر مجموعه نامیده می شود. اگر، پس آنها می گویند ب

مطابقت دارد آ.مجموعه تمام عناصر مربوطه

تماس گرفت مسیرعنصر الف. مجموعه همه مواردی که عنصر با آنها مطابقت دارد فراخوانی می شود

نمونه اولیهعنصر ب

زوج های زیادی (ب، الف)به طوری که معکوس نامیده می شود

به سمت جیو تعیین شده است. مفاهیم تصویر و نمونه اولیه برای

«G و متقابل معکوس هستند.

مثال ها. 1) بیایید آن را با یک عدد طبیعی مطابقت دهیم پ

مجموعه ای از اعداد واقعی . تصویر عدد 5

یک نیم فاصله وجود خواهد داشت

(این به معنای بزرگترین عدد صحیح، کوچکتر یا مساوی است ایکس). تصویر معکوس عدد 5 در این مطابقت یک مجموعه بی نهایت است: نیم فاصله)