David Roberts saturated pretopology

A saturated singleton pretopology is a singleton pretopology $J$ such that if the composite $x\to y \to z$ is in $J$, then $y \to z$ is in $J$.

The canonical example is the class of maps admitting local sections for a given pretopology on a category with pullbacks.