Definition 4.1.1.
A reflection is a transformation of a plane which is specified by a line \(\ell\text{,}\) called its mirror or reflecting line. Each point \(P\) not on the mirror is mapped by the reflection to a point \(P'\) on the opposite side of \(\ell\text{.}\) The location of each \(P'\) is determined by the fact that \(P'\) would fall directly on the corresponding \(P\) when we fold the plane along the mirror line \(\ell\text{.}\) We call \(P'\) the image of \(P\) and call \(P\) the preimage of \(P'\text{.}\)