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