展开 垂直有哪些性质和定义