completely regular space (Q1191433)
topological space in which a point and a closed set are separable by a real-valued continuous function
Language:
Current Data About completely regular space
(P31) (Q24034552)

(P138) (Q372026)

(P279) (Q1193403)

(P460) (Q7885139)

(P1889) (Q652446)

(P2534) \forall U\in\operatorname{Open}(X)\forall x\in U\exists f\in\mathcal C^0(X,\mathbb R)\colon \left(f(x)=1 \land f \restriction X\setminus U = 0\right)

(P5555) VollständigRegulärerRaum.png

(P6104) (Q8487137)

other details
aliases T3½ space
 Tychonoff space
description topological space in which a point and a closed set are separable by a real-valued continuous function

External Links
(P646) /m/07j22
(P2812) CompletelyRegularSpace
TychonoffSpace
(P3827) tychonoff-spaces
(P6366) 87142424
(P10283) C87142424
(P11514) tikhonovskoe-prostranstvo-e3bd10