Definition 3.1.2 (Closed Set).label Let $(X,\tau)$ be a topological space, then $A\suf X$ is closed if $A^{c}\in\tau$.