 Dense sieve

A sieve $R$ on $A$ is dense when every arrow $f:B\to A$ has a further composite $fh$ in $R$. Equivalently, every pullback sieve $f^{\ast }R$ is nonempty. This condition is stable under pullback and transitive refinement and defines the double-negation topology.