有异面垂直这个定义。
两异面直线所成角的定义：过空间任一点O分别作两异面直线的平行线a，b，这两直线a，b所成角［0度，90度］叫异面直线成的角，90度时，称两直线垂直。
注意：a，b垂直交于O，但两异面直线并无公共点。
扩展资料
异面垂直直线，异面指的是位置关系，垂直指的是方向关系
欧式空间中的任一直线由两个量唯一决定：
1、方向（表示方向的非零向量，包括正反）
2、位置（可取直线上任意一点确定），两直线垂直指的是方向的关系，与位置无关，所以只要考虑确定两直线的方向向量点积是否为零，所以异面垂直也是垂直。
3、位置（可取直线上任意一点确定），两直线垂直指的是方向的关系，与位置无关，所以只要考虑确定两直线的方向向量点积是否为零，所以异面垂直也是垂直。
