Definition 1.8

Definition 1.8: $$C \subseteq X$$ is closed if $$X \setminus C$$ is open.