# Definition Given a [[Topological Space]] $(X, \mathcal{T})$, a set $A \in X$ is closed if its complement in $X$ is an [[open set]], i.e. $X-A \in \mathcal{T}$.