Definition 4.1.2 (Closed Set). Let $(X, \topo)$ be a topological space, then $A \subset X$ is closed if $A^{c} \in \topo$.