定義(過去スレ001の205の再記)
位相空間 X が可約とは、 X = F_1 ∪ F_2 となる、X の閉部分集合
F_1, F_2 で X ≠ F_1, X ≠ F_2 となるものが存在することをいう。
空集合でない位相空間は可約でないとき既約という。

位相空間 X の部分集合 A が既約とは、A に部分空間としての位相を
いれたときに、既約なことをいう。