Clearly, a space is T1 if and only if it's both R0 and T0.
明显的，一个空间是 T1 当且仅当它是 R0 和 T0 二者。