空でない位相空間 "x" は以下の(同値な)条件の1つが成り立つときに既約であると言われる。