函数若 是集合，函数
把每个 指派给 中唯一的元素 。
若 ，定义像
，其中某个
若 ，定义原像
对函数 ：
若
则 是单射；
若 ，则 是满射；
既单射又满射的函数称为双射。
若 为双射，则存在逆函数
它把
2026-04-09
