Theorem. Maximality of the strict downset among proper sieves
Call a direct structure reflecting when every morphism between objects of equal degree is a split epimorphism. In a reflecting direct category, every non-invertible-in-degree morphism strictly raises degree, and the strict downset is as large as a proper sieve can be:
If the direct structure is reflecting, then every proper sieve on refines into the strict downset:
Suppose with of equal degree. By reflection has a section , and closure under precomposition gives , contradicting properness.
So every morphism in strictly raises degree. That is, every morphism in is also a member of .