Соответствием G между множествами А и В называется подмножество . Если , то говорят, что b

соответствует а. Множество всех соответствующих элементу

Называется образом элемента а. Множество всех которым соответствует элемент , называется

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

Множество пар (Ь, а) таких, что называется обратным по

отношению к G и обозначается . Понятия образа и прообраза для

" G и взаимно обратны.

Примеры. 1) Поставим в соответствие натуральному числу п

множество действительных чисел . Образом числа 5

будет полуинтервал

(так обозначают наибольшее целое, меньшее или равное X ). Прообразом числа 5 при этом соответствии является бесконечное множество: полуинтервал }