In this article, we discuss the idea of gravitational lensing, from a systematic, historical and didactic point of view. We show how the basic lensing equation together with the concepts of geometrical optics opens a space of implications that can be explored along different dimensions. We argue that Einstein explored the idea along different pathways in this space of implication, and that these explorations are documented by different calculational manuscripts. The conceptualization of the idea of gravitational lensing as a space of exploration also shows the feasibility of discussing the idea in the classroom using some of Einstein's manuscripts.

19pp, 11 figs