David Roberts cofinal pretopology

Let $J \subset K$ be two singleton pretopologies on a category $S$ with pullbacks. $J$ is called cofinal in $K$ if every map in $K$ admits local sections with respect to $J$.