Current Data About
T1 space
(P279) |
(Q1148924)
|
(P2534) |
\forall x,y\in X\exists U,V\in\operatorname{Open}(X)\colon (x\in U\not\ni y)\land(x\not\in V\ni y)
|
(P6104) |
(Q8487137)
|