I've been trying to prove the following statement, but the converse has been giving me trouble.
A topological space $X$ is regular if and only if every closed subset $Z\subseteq X$ is the intersection of all open sets $U\subseteq X$ which contain it.
Here, the defintion of regular is that for any point $p\in X$ and any closed subset $Z\subset X$ not containing $p$, there exist open sets $E,F\subset X$ such that $p\in E$, $Z\subseteq F$, and $E\cap F=\emptyset$. The space does not necessarily have to be a $T_1$ space.
I believe I showed the forward statement correctly. I suppose $X$ is regular, and clearly $Z\subseteq\cap\mathcal{U}$, where $\mathcal{U}$ is the family of all open sets containing $Z$. Then if I take $p\in\cap\mathcal{U}$, then $p$ is in every open subset containing $Z$. Towards a contradiction, I assume that $p$ is not in $Z$. Then since $X$ is regular, there exist open sets $E,F\subset X$ such that $p\in E$, $Z\subseteq F$, and $E\cap F=\emptyset$. Thus $p\not\in F$, but $F$ is an open set containing $Z$, and thus must contain $p$, a contradiction. Thus $p\in Z$, and so $Z=\cap\mathcal{U}$.
The backwards step has stumped me for a while. I take any point $p$ and a closed set $Z$ which does not contain $p$. So $Z=\cap\mathcal{U}$, and since $p\not\in Z$, there exists an open set $F$ containing $Z$ which does not contain $p$. The only observation I've been able to make is that $F^c$ is a closed set containing $p$, and then $F^c=\cap\mathcal{W}$ where $\mathcal{W}$ is every open set containing $F^c$. Hence $p$ is in every open set containing $F^c$. Taking any open sets $E$ and $F$ such that $p\in E$ and $Z\subseteq F$, and I haven't been able to see a way that there exists two such open sets that are disjoint, to show the space is regular. Showing $F^c$ is an open set would work, but I'm not sure if that's even true. I was hoping someone could point out what I'm missing, thank you.