水平線測試

在數學裡，水平線測試為一測試方法，用以決定一函數是否為單射、滿射或雙射。

設存在一含圖的函數f : X → Y，且有一於X x Y上的水平線

$y_0 \in Y, \{(x,y_0): x \in X\} = (X \times y_0)$。

• 若函數為單射，則其圖絕不會和任何一條水平線相交超過一次。
• 若函數為滿射，則每一水平線和圖至少相交超過一點。
• 若函數為雙射，則每一水平線和圖相交於一點且只有一點。

測試通過(單射)

測試失敗(非單射)