Definition:Plane Perpendicular to Plane