T1空間
X は位相空間で、x と y を X の点とする。いま、二点 x, y が「分離」されるというのを、x, y のそれぞれ一方が、他方を含まない開集合の少なくとも一つに含まれることを意味するものとすれば、
X が T1-空間であるとは、X の任意の相異なる二点が分離できるときに言う。
X が R0-空間であるとは、X の任意の位相的に識別可能な二点が分離できるときに言う。
T1-空間は別名、迫接空間(accessible space; 到達可能空間)あるいはフレシェ空間ともいい、R0-は別名、対称空間とも呼ばれる。