空でない位相空間 X が既約なためには、X の任意の空でない開集合
が稠密であることが必要十分である。これは、２個の空でない開集合の
共通集合が空でないことと同値である。