一条直线和一个平面内的任何一条直线都垂直，就说这条直线和这个平面互相垂直，直线叫做平面的垂线，平面叫做直线的垂面，垂线和平面一定相交，交点叫做垂足．

    过一点有且只有一条直线和一个平面垂直；

    过一点有且只有一个平面和一条直线垂直．

    直线ι与平面α互相垂直，垂足为A，记作ι⊥α于A．