Common-refinement condition for nonempty-sieve coverage ($fh=gk$)

For each pair $f:V\to U$, $g:W\to U$, require $fh=gk$ for some arrows $h:T\to V$, $k:T\to W$. This is necessary and sufficient for stability of nonempty sieves under pullback; the other topology axioms then follow. Nonempty finite sets with arbitrary functions fail it at distinct singleton-to-two-point maps.