Definition:Line Perpendicular to Plane