# Closed

Let $(X,\tau)$ be a topological space. We say that $K \subset X$ is a closed set if its complement $X \setminus K \in \tau$, i.e. that $X \setminus K$ is an open set.