The perpendicular bisector of a line segment is a line that is perpendicular to the line segment and which passes through its midpoint.