Line segment/Plane/Perpendicular bisector/Definition

Perpendicular bisector

For two points $A\ne B$ in the Euclidean plane, the line that is perpendicular to the line given by $A$ and $B$, and that runs through the midpoint of the line segment between $A$ and $B$, is called the perpendicular bisector of the line segment.