命題
位相空間 X の既約部分集合の集合 {E} が包含関係に関して全順序
集合となっているものとする。この合併集合 ∪E は既約である。

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