定義
X と Y を位相空間とし、f：X → Y を写像とする。
X の任意の開集合 U に対して f(U) が Y の開集合であるとき f を開写像と言う。