Definition
- A R_1 space (X,τ) is said to be a strongly R_1 space if for each sequence such that iff n=m, there exists a sequence {U_n} of disjoint open sets such that for all m ∈ N.
Property
- strongly Hausdorff ⇔ T_0 + strongly R_1.
Reference
- Dorsett Charles, Strongly R1 spaces., Kyungpook Math. J. 21 (1981), no. 2, 155–161.