Биекция

БИЕКЦИЯ (от би... и латинского jacio - бросать), биективное отображение множества А в множество В, отображение f:А→В, при котором разные элементы из А имеют разные образы и {f(a):a?А} = В. Другими словами, f — взаимно однозначное отображение А на В или отображение инъективное и сюръективное одновременно. Биективное отображение устанавливает взаимно однозначное соответствие между элементами множеств А и В. Биективное отображение множества А на А называют также подстановкой, или перестановкой, множества А.