Энциклопедический словарь, 1998 г.
такое соответствие между элементами двух множеств, при котором каждому элементу первого множества соответствует один определенный элемент второго множества, а каждому элементу второго множества - один определенный элемент первого множества.
Большая Советская Энциклопедия
(математическое), такое соответствие между элементами двух множеств, при котором каждому элементу первого множества соответствует один определённый элемент второго множества, а каждому элементу второго множества ≈ один определённый элемент первого множества. В. о. с. ≈ частный вид функции или отображения , когда данная функция и ей обратная являются однозначными. Если между двумя множествами можно установить В. о. с., то эти множества называются эквивалентными, или равномощными. Например, множества целых и их квадратов равномощны, так как соответствие n ╝ n2 является В. о. с.