Энциклопедический словарь

такое соответствие между элементамидвух множеств, при котором каждому элементу первого множествасоответствует один определенный элемент второго множества, а каждомуэлементу второго множества - один определенный элемент первого множества.