連続=開集合の逆像が開集合

この定義が一番わかりやすい