In topology, a normal space is a specific type of topological space that satisfies certain separation properties. A topological space \( X \) is called **normal** if it meets the following criteria: 1. **It is a T1 space**: This means that for any two distinct points in the space, there exist open sets that contain one point but not the other. In other words, points can be separated by neighborhoods.
New to topics? Read the docs here!