Взаи́мно однозна́чное соотве́тствие, соответствие между элементами двух множеств, при котором каждому элементу первого множества соответствует единственный элемент второго множества, причём разным элементам первого множества соответствуют разные элементы второго и каждый элемент второго множества поставлен в соответствие некоторому элементу первого. Например, если каждой точке $x$ горизонтальной прямой поставить в соответствие её расстояние до некоторой фиксированной точки $O$ на прямой, взятое со знаком плюс, если точка лежит справа от точки $O$, и со знаком минус в противном случае, то получится взаимно однозначное соответствие между точками прямой и множеством действительных чисел. Другим примером может служить взаимно однозначное соответствие между множеством натуральных чисел $\{1, 2, 3, \ldots\}$ и множеством $\{1, 2^2, 3^2, \ldots\}$, при котором натуральному числу $n$ поставлено в соответствие число $n^2$, $n=1, 2, 3, \ldots$