位相空間 X の部分集合 E が既約なことと、その閉包 cl(E) が既約
なことは同値である。

証明
証明は>>209から明らかだろう。