水平线测试

在数学里，水平线测试为一测试方法，用来判断一函数是否为单射、满射或双射。

设一带有图像的函数为f : X → Y，接着使用X x Y上的水平线

${\displaystyle y_{0}\in Y,\ \{(x,y_{0}):x\in X\}=(X\times y_{0})}$。

• 若函数为单射，则其图像绝不会和任何一条水平线相交超过一次。
• 若函数为满射，则每一水平线和图像至少相交一次。
• 若函数为双射，则每一水平线和图像相交于一点且只有一点。

测试通过（单射）

测试失败（非单射）