Perpendicular Bisector Definition