ハウスドルフ空間
が成り立つ（クルルの交叉定理）。したがって、"R" は formula_1-進位相に関してハウスドルフ空間になる。