la_1至formula_2的关系formula_11为双射函数若且唯若存在另一由formula_2至formula_1的关系formula_33，使得formula_29为formula_1上的恆等函数，且formula_42为formula_2上的恆等函数。必然地，此两个集合会有相同的势。
双射与势.若formula_1和formula_2为有限集合，则其存在一两集合的双射函数若且唯若两个集合有相同的元素个数。确实，在公理集合论里，这正是「相同元素个数」的"定义"，且广义化至无