regular space (Q1193403)
topological space in which a point and a closed set are, if disjoint, separable by neighborhoods
Language:
Current Data About regular space
(P279) (Q179899)

(P2534) \forall x\in X\forall C \in \operatorname{Open}(X)\left(x\not\in X\setminus C\implies\exists U,V\in\operatorname{Open}(X)\colon \left(x\in U\land X\setminus C\subseteq V \land U\cap V= \varnothing\right)\right)

(P5555) Regular space.svg

(P6104) (Q8487137)

other details
aliases T3 space
 T₃ space
description topological space in which a point and a closed set are, if disjoint, separable by neighborhoods

External Links
(P646) /m/0dy30
(P2812) RegularSpace
(P4215) regular space
(P6366) 43494777
(P6781) Definition:T3_Space
(P8408) RegularTopologicalSpace
(P9621) spazio-topologico-regolare
(P10283) C43494777
(P12888) df-reg