垂线、垂直定义都是什么?