同じことが位相的に識別可能な二点についてのみ成り立つ場合はr0-空間と言う。