normal space
(Q1071795)
topological space in which every pair of disjoint closed sets has disjoint open neighborhoods
topological space in which every pair of disjoint closed sets has disjoint open neighborhoods
Language:
Current Data About
normal space
| (P279) |
(Q7255183)
|
| (P2534) |
\forall C,D\in\operatorname{Open}(X)\left(X\setminus C\cap X\setminus D=\varnothing\implies \exists U,V\in\operatorname{Open}(X)\colon\left( X\setminus C\subseteq U\land X\setminus D\subseteq V\land U\cap V=\varnothing\right)\right)
|
| (P5555) |
Normal space.svg
|
| (P6104) |
(Q8487137)
|
other details
| aliases |
T4 space |
| description | topological space in which every pair of disjoint closed sets has disjoint open neighborhoods |
External Links
| (P646) |
/m/0c_p_
|
| (P2812) |
NormalSpace
|
| (P4215) |
normal space
|
| (P6366) |
147902342
|
| (P6781) |
Definition:T4_Space
|
| (P8408) |
NormalTopologicalSpace
|
| (P10283) |
C147902342
|
| (P12888) |
df-nrm
|