- Если добавить условие 3) соответствие сюрьективное, то получится отображение А на множестве В

Если прямое соответствие является функцией, то обратное соответствие не обязательно является функцией, следует потребовать что бы прямое соответстствие было взаимнооднозначным, тогда обратное соответствие остается функцией.

y=sinx

x принадлежит А = R D(y)=R

y принадлежит В = R Im(y)=[-1, 1]