Question

A transformation such that if P is on l,then P coincides with P' , and if P is not on l, then l is the perpendicular bisector of ( line segment PP') ????

Answer 1

Let's see...
"If \(P\) is on \(l\), then \(P\) coincides with \(P'\)."
"If \(P\) is not on \(l\), then \(l\) is the perpendicular bisector of \(\overline{PP'}\)."
I think it would be easier to see this visually.