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$.

Is there a set $X$ and $\tau \in \text{Top}(X)$ such that

- $\tau \neq \{\emptyset, X\}$, and
- for all $\sigma \in \text{Top}(X)$ with $\sigma\subseteq \tau$ and $\sigma\neq\tau$ we have $[\sigma,\tau] \neq \{\sigma,\tau\}$? (In other words, $\tau$ has no direct lower neighbor.)

**EDIT**. As Will Brian pointed out the remark below is erroneous.

Every non-discrete topology $\tau$ has a direct upper neighbor: Pick $x\in X$ such that $\{x\}\notin \tau$, then the topology generated by $\tau\cup\{x\}$ is a direct upper neighbor.