A reflection is a transformation that maps point P in a figure, over a line, AB←→ , such that for point C at the intersection of AB←→ and PP′ ( ), and ( ) .
PC=P′C
AB=PP′
m∠ACP=90∘
m∠APC=90∘
+9 
