Взаи́мно однозна́чное Соотве́тствие, такое соответствие между элементами двух множеств, при котором каждому элементу первого множества соответствует один определенный элемент второго множества, а каждому элементу второго множества — один определенный элемент первого множества. Является частным видом функции либо отображения, когда данная и ей обратная функции однозначны.