Given an open set $A$ as a proper subset of an open set $B$, is the closure of $A$ necessarily contained in $B$. I think it is, but would like a proof either way
Context of the question as given in the OP's answer:
The reason I asked the question in the first place was that I was trying to prove what I call the Russian Doll theorem to my satisfaction. Given $X$ a normal topological space $A$, a closed subset of $X, U$ the open set containing $A$ which normality guarantees. Prove that $U$ contains another open set (call it $W$) whose closure is contained in $U$.
I started with $X - U$ as another closed set and was able to prove to my satis faction that normality guaranteed the existence of $V$ another open set containing $X - U$ disjoint from another open set $W$ also containing $A$ and such that $W$ was a proper open subset of $U$. I needed to prove that the closure of $W$ was contained in $U$ and couldn't do it
No : take $A={]{-1},0[}$ and $B={]{-\infty},{0}[}$.