被覆から連続函数へ

位相空間に良い感じの被覆があると連続函数が得られるという話から，任意の開被覆に対してそれに付随した連続函数族が得られる位相空間の話へと至る．