等化子
X を位相空間、Y をハウスドルフ空間、f, g: X → Y を連続写像とするとき、イコライザ Eq(f, g) は X の閉集合である。