A line, segment, or ray that is perpendicular to and bisects a line segment.
A perpendicular bisector of a side is perpendicular to that side at its midpoint.
A line that divides a line segment into two congruent parts (bisects it) and that is also perpendicular to the line segment (Lesson 3.2).