つまり、関数 "f" : "x" → "y" が開であるとは、"x" の任意の開集合 "u" に対して、像 "f"("u")が "y" において開であるということである。