異面垂直也是垂直

平面幾何的垂直是指兩條直線交角爲直角，而立體幾何中垂直的定義是一條直線與一平面垂直，則它與這平面上的任一直線都垂直，它與這平面上任意不過交點的直線都異面垂直。由這個定義可知，空間中的垂直是包括面面、面線、交線、異面四種垂直。