Let $X\neq \emptyset$ be a set and let ${\cal J} \subseteq {\cal P}(X)\setminus\{\emptyset\}$ be a collection of non-empty subsets of $X$. We say that a topology $\tau$ on $X$ is ${\cal J}$-*compatible* if for every $J\in {\cal J}$ there is a continuous surjective map $f:X\to J$, where $J$ carries the subset topology inherited from $(X,\tau)$.

Let $\text{Cptb}(X, {\cal J})$ denote the collection of ${\cal J}$-compatible topologies, ordered by $\subseteq$.

If $\tau\in \text{Cptb}(X, {\cal J})$, is there a minimal element in $\text{Cptb}(X, {\cal J})$ properly containing $\tau$?