位相空間における連続写像とは,「開集合の逆像が開集合になる」という風に定義されます。まずは,連続写像の定義と,それと同値な性質について,証明···