位相空間上の連続性

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