連続写像

位相空間から位相空間への連続写像の定義。