mula_19，这也是个双射函数。一双射函数亦简称为双射（）或置换。后者一般较常使用在formula_20时。以由formula_1至formula_2的所有双射组成的集合标记为formula_23。双射函数在许多数学领域扮演着很基本的角色，如在同构的定义（以及如同胚和微分同构等相关概念）、置换群、投影映射及许多其他概念的基本上。
复合函数与反函数.一函数formula_11为双射的若且唯若其逆关系formula_25也是个函数。在这情况，formula_25也会是双射函数