Definition:T1/2 Space
Jump to navigation
Jump to search
Definition
Let $T = \struct {S, \tau}$ be a topological space.
Then $T$ is a $T_{\frac 1 2}$ space if and only if:
- $\forall A \subseteq S: A'$ is closed
where $A'$ denotes the derivative of $A$.
Also see
- Results about $T_{\frac 1 2}$ spaces can be found here.
Sources
- Mizar article TOPGEN_4:def 8