条件：定义域中任一formula_1在到达域中唯一对应的formula_18记为formula_8。比上面定义更简明的表述如下：从formula_24映射到formula_25的函数formula_6是formula_24与formula_25的直积formula_52的子集。formula_24中任一formula_1都与formula_25中的formula_18唯一对应，且有序对formula_20属于formula_6。formula_24与formula_25的关系若满足条件（1），则