> [!definition] > > Let $(X, \topo)$ be a [[Topological Space|topological space]]. $(X, \topo)$ is **locally** [[Compactness|compact]] if for any $x \in X$, there exists a compact [[Neighbourhood|neighbourhood]] of $x$.