\begin{definition}[Definition:Perpendicular Bisector]
Let $AB$ be a line segment.
The '''perpendicular bisector''' of $AB$ is the straight line which:
:is perpendicular to $AB$
:passes through the point which bisects $AB$.
:300px
\end{definition}