# Ultraconnected implies normal

From Topospaces

This article gives the statement and possibly, proof, of an implication relation between two topological space properties. That is, it states that every topological space satisfying the first topological space property (i.e., ultraconnected space) must also satisfy the second topological space property (i.e., normal space)

View all topological space property implications | View all topological space property non-implications

Get more facts about ultraconnected space|Get more facts about normal space

## Statement

Any ultraconnected space is a normal space.

## Definitions used

Term | Definitions used |
---|---|

ultraconnected space | A space is ultraconnected if any two non-empty closed subsets have non-empty intersection. |

normal space | A space is normal if, given any two disjoint closed subsets of , there exist disjoint open subsets of such that . |

## Proof

The proof is immediate from the observation that in an ultraconnected space, it is not possible to have disjoint non-empty closed subsets. Hence, given disjoint closed subsets, one of them must be empty, and we can use the empty space and whole space as the corresponding open subsets.