The Stacks project

Proof. It is clear that $\overline{f^{-1}(T)} \subset f^{-1}(\overline{T})$. Then $T \subset f(\overline{f^{-1}(T)}) \subset \overline{T}$ is a closed subset, hence we get (1). Part (2) is obvious from the fact that $f$ is closed and surjective. Part (3) follows from (2) applied to the complement of $T$. For (4), if $f^{-1}(T)$ is locally closed, then $f^{-1}(T) \subset \overline{f^{-1}(T)}$ is open. Since the map $\overline{f^{-1}(T)} \to \overline{T}$ is surjective by (1) we can apply part (3) to the map $\overline{f^{-1}(T)} \to \overline{T}$ induced by $f$ to conclude that $T$ is open in $\overline{T}$, i.e., $T$ is locally closed. $\square$