Rolling Up the Real Line

Drag either red point to show the one-to-one correspondence between the set of points on the circle and the set of points on the line. Each point on the circle (except the top point) is mapped to a unique point on the line, and vice versa.