如果两条直线相交成直角,那么这两条直线“叫做垂线”,