T1 space

In topology, a **T1 space** (also known as a **Fréchet space**) is a type of topological space that satisfies a particular separation axiom. Specifically, a topological space \( X \) is considered T1 if, for any two distinct points \( x \) and \( y \) in \( X \), there are open sets that separate these points.