Constructing a topology using neighbourhoods Let $X$ be a non-empty set. I would like to show that if we define, for every $x\in X$, a non-empty family of subsets of $X$, $\mathcal V(x)$, satisfying:


*

*(V1) $\forall V\in \mathcal V(x), x\in V$

*(V2) $V\in \mathcal V(x), W\supset V \Rightarrow W\in\mathcal V(x)$

*(V3) $V_1, V_2\in \mathcal V(x) \Rightarrow V_1\cap V_2\in \mathcal V(x)$

*(V4) $\forall V\in \mathcal V(x) \exists W\in \mathcal V(x): \forall y\in W, V\in \mathcal V(y)$


then $$\tau=\{G\subseteq X: G\in \mathcal V(x) \ \forall x\in G\}$$
is a topology on $X$ whose neighbourhoods of a point $x$ are precisely $\mathcal V(x)$.
So far, I have showed that $\tau$ is indeed a topology (and to do so, only (V2) and (V3) are needed). Now, I have
$$ V \text{ is a neighbourhood of $x$ } \iff \exists G\in \tau: x\in G\subset V \\ \iff \exists x\in G\subseteq V: G\in \mathcal V(y)\forall y\in G \Rightarrow V\in \mathcal V(x) $$
but I am stuck in proving that every set in $\mathcal V(x)$ is a neighbourhood in $x$. Obviously (V4) must be the key, as provides that for every $V\in \mathcal V(x)$ we have $W\in \mathcal V(x)$ so that $V$ is a neighbourhood of every point of $W$. The point here is making $W$ to be a neighbourhood of every point in $W$, but I can't find the way.
 A: Let $V\in \mathcal{V}(x)$. We want to find an open set $G$ such that $x\in G\subset V$. From $(V4)$ there is $W\in \mathcal{V}(x)$ such that for $y\in W$, we have $V\in \mathcal{V}(y)$. Let $\widetilde{W}=V\cap W$, so that we have $\widetilde{W}\subset V$, $\widetilde{W}\in \mathcal{V}(x)$ and for all $y\in \widetilde{W}$, we have $V\in \mathcal{V}(y)$. 
Define 
$$
G=\left\{y\in \widetilde{W};\text{ there is }W_{y}\in \mathcal{V}(y) \text{ with }W_y \subset \widetilde{W}\right\}.
$$
I claim that $G$ is open, contains $x$ and is contained in $V$. First, let's show it's open. Let $y\in G$. Then, there is $W_y \subset \widetilde{W}$ with $W_y \in\mathcal{V}(y)$. Applying property $(V4)$ to $W_y$, we can find $Z_y \in \mathcal{V}(y)$ such that for all $z\in Z_y$, $W_y \in \mathcal{V}(z)$. Replacing $Z_y$ with $Z_y \cap W_y$, we can assume $Z_y \subset W_y$. But if $z\in Z_y$, we get $W_y \in \mathcal{V}(z)$, and $W_y \subset \widetilde{W}$, which means exactly that $z\in G$! We conclude therefore that $Z_y \subset G$, and since $Z_y \in \mathcal{V}(y)$, this implies $G\in \mathcal{V}(y)$. So $G$ is open.
It is of course a subset of $V$ (because it's contained in $\widetilde{W}$), and $x\in G$ because $\widetilde{W}\in \mathcal{V}(x)$.
A: For $V \subseteq X$, define $i(V) := \{ x \in X \mid V \in \mathcal{V}(x) \}$.  We then claim that $i(V) \in \tau$ for any $V \subseteq X$.
Thus, suppose $x \in i(V)$.  Then from (V4), find a $W \in \mathcal{V}(x)$ such that for each $y \in W$, $V \in \mathcal{V}(y)$.  Then this implies that $W \subseteq i(V)$, and so from (V2), we get $i(V) \in \mathcal{V}(x)$.  This completes the proof of the claim.
Now, it is easy to check that if $V \in \mathcal{V}(x)$, then $x \in i(V) \subseteq V$ (using (V1) in proving the last inclusion), where we just showed $i(V)$ is open, so that implies $V$ is a neighborhood of $x$ with respect to $\tau$.
And conversely, if $V$ is a neighborhood of $x$, suppose $U \in \tau$ with $x \in U \subseteq V$.  Then by definition of $\tau$, that means $U \in \mathcal{V}(x)$, and by (V2), we thus get $V \in \mathcal{V}(x)$.
(In fact, it is then easy to see that the $i$ we defined is exactly the topological interior with respect to $\tau$.)
