垂线测试 在数学中垂线测试用于判定一个关系或其图像是否为一个函数对于一个函数每一个x值至多对应一个y值因此對於實函數一条垂直于x轴的直线xk与一个函数的图像至多有个交点如不然则说明其并非函数的图像 设R為二元关系其定義域為X值域為Y考慮XxY上的垂线 x   X    x   y   y  Y    x   Y  displaystyle xin Xxyyin Yxtimes Y 如果每一条垂线与图至多有一个交点则说明该关系是一个函数 如果有至少一条垂线与图产生了一个以上交点则说明该关系不是函数