Взаимно однозначное соответствие

Определение "Взаимно однозначное соответствие" в Большой Советской Энциклопедии

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