  We prove that the topological cycle space C(G) of a locally finite graph G is
generated by its geodetic topological circles. We further show that, although
the finite cycles of G generate C(G), its finite geodetic cycles need not
generate C(G).
