数学中，一个由集合formula_1映射至集合formula_2的函数，若对每一在formula_2内的formula_4，存在唯一一个在formula_1内的formula_6与其对应，且对每一在formula_1内的formula_6，存在唯一一个在formula_2内的formula_4与其对应，则此函数为对射函数。换句话说，如果其为两集合间的一一对应，则formula_11是双射的。即，同时为单射和满射。例如，由整数集合formula_12至formula_12的函数formula_14，其