垂直的定义和性质