 The topology on projective space appropriate for algebraic geometry is the Zariski topology, defined not by its open sets but rather by its closed sets, which are taken to be the algebraic sets, namely those sets constituting the common zeros of a set of homogeneous polynomials. The crucial theorem is then that regular maps between affine varieties are continuous with respect to the Zariski topology.