Definition of covering spaces.