つまり、関数 "f" : "x" → "y" が開であることと "f" が基本開集合を開集合に写すことは同値である。