1内的formula_6与其对应，且对每一在formula_1内的formula_6，存在唯一一个在formula_2内的formula_4与其对应，则此函数为对射函数。换句话说，如果其为两集合间的一一对应，则formula_11是双射的。即，同时为单射和满射。例如，由整数集合formula_12至formula_12的函数formula_14，其将每一个整数formula_6连结至整数formula_16，这是一个双射函数；再看一个例子，函数formula_17，其将每一对实数formula_18