A perpendicular bisector of a given line is perpendicular to it and divides the given line into two parts of equal length.
is perpendicular to that line
A perpendicular bisector of a given line is perpendicular to it and divides the given line into two parts of equal length.