Бие́кция (от би… и лат. jacio – бросать), биективное отображение множества $A$ в множество $B$, отображение $f : A→B$, при котором разные элементы из $A$ имеют разные образы и $\{f(a):a∈A\}=B$. Другими словами, $f$ – взаимно однозначное отображение $A$ на $B$ или отображение инъективное и сюръективное одновременно. Биективное отображение устанавливает взаимно однозначное соответствие между элементами множеств $A$ и $B$. Биективное отображение множества $A$ на $A$ называют также подстановкой, или перестановкой, множества $A$.