Ultraconnected Space is T4
Jump to navigation Jump to search
Then $T$ is a $T_4$ space.
Recall the definition of a $T_4$ space:
- for any two disjoint closed sets $A, B \subseteq S$, there exist disjoint open sets $U, V \in \tau$ containing $A$ and $B$ respectively.