反转功能的：两个不同个体不能拥有相同的值。
Inverse functional: Two different individuals cannot have the same value.
youdao
应用推荐
模块上移
模块下移
不移动