Let $(X, \tau_X)$ and $(Y, \tau_Y)$ be topological spaces, and let $f: X \to Y$ be a bijection. Then $f$ is a homeomorphism if and only if $f$ is continuous and, for every subset $C \subset X$ that is closed in $X$, the image $f(C)$ is closed in $Y$.