定義によって関数 "f" : "x" → "y" が連続であるとは "y" のすべての開集合の原像が "x" において開であるということであることを思い出そう。