TODO Line Perpendicularity Definition: Perpendicular Lines Two straight lines are perpendicular iff the angle between them is right.