閉集合の位相的性質の検証(例:連続写像の同値性)