既約位相空間
空でない位相空間 X は以下の(同値な)条件の1つが成り立つときに既約であると言われる。
X は2つの真の(すなわち X と異なる)閉集合の和でない。
X の空でない有限個の開集合の共通部分は空でない。
真の閉集合からなる有限の族の和集合は X でない。
すべての空でない X の開集合は X において稠密である。
X のすべての開集合は連結。