Given any poset $(P,\leq)$ and $x, y\in P$ we set $[x,y] = \{p\in P: x\leq p \leq y\}$. For any set $X$, let $\text{Top}(X)$ denote the set of topologies on $X$. The set $\text{Top}(X)$ is a complete lattice with respect to $\subseteq$.

Given $\tau\in\text{Top}(X)$ and $E\subseteq X$ we set $\tau_E$ to be the topology generated by $\tau\cup\{E\}$.

If $\tau\subseteq\tau'$ are members of $\text{Top}(X)$ with $\tau\neq\tau'$, is there $E\in\tau'\setminus\tau$ such that $[\tau,\tau_E]=\{\tau,\tau_E\}$? (In other words, there is no topology strictly between $\tau$ and $\tau_E$.)

(This question was inspired by a comment that Ramiro de la Vega made on this question.)