位相空間 X の空でない部分集合 E が既約なことと、以下の条件が成立つ
ことは同値である。

E ⊂ F_1 ∪ F_2 となる X の閉部分集合 F_1, F_2 があるとすると、
E ⊂ F_1 または E ⊂ F_2 となる。

証明は定義(>>205)から明らかだろう。