在数学中，垂线测试用于判定一个关系或其图像是否为一个函数。对于一个函数，每一个x值至多对应一个y值。因此，对于实函数，一条垂直于x轴的直线（x=k）与一个函数的图像至多有1个交点。如不然，则说明其并非函数的图像。设R为二元关系，其定义域为X，值域为Y。考虑XxY上的垂线