Большая Советская энциклопедия - взаимно однозначное соответствие

(математическое)

такое соответствие между элементами двух множеств, при котором каждому элементу первого множества соответствует один определённый элемент второго множества, а каждому элементу второго множества — один определённый элемент первого множества. В. о. с. — частный вид Функции или отображения (См. Отображение), когда данная функция и ей обратная являются однозначными. Если между двумя множествами можно установить В. о. с., то эти множества называются эквивалентными, или равномощными. Например, множества целых и их квадратов равномощны, так как соответствие n → n² является В. о. с.

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978