If O is the midpoint of a line segment [XX'], then we say that X' is a reflection of X across O. The map X ↦ X' is called a reflection across O. We assume that O'=O; that is, O is a reflection of itself across itself.