Lines Mapping Corresponding Points in a Rotation
If r is a rotation with a centre O in the plane and an angle of rotation α, a line mapping corresponding points in the rotation r is any circle of centre O that passes through a point P in the plane and through its image r(P).
