Відповідністю G між множинами Аі Уназивається підмножина. Якщо , то кажуть, що b

відповідає а.Безліч всіх відповідних елементів

Називається чиномелемента а. Безліч всіх яким відповідає елемент, називається

прообразомелемента b.

Безліч пар (Ь, а)таких, що називається зворотним по

по відношенню до Gі позначається. Поняття образу та прообразу для

G і взаємно зворотні.

приклади. 1) Поставимо у відповідність натуральному числу п

безліч дійсних чисел . Образом числа 5

буде напівінтервал

(так позначають найбільше ціле, менше чи рівне X). Прообразом числа 5 при цій відповідності є безліч: напівінтервал )