  We examine the problem of projecting subsets of a commutative, positively
ordered monoid into an $o$-ideal. We prove that to this end one may restrict to
a sufficient subset, for whose cardinality we provide an explicit upper bound.
Several applications to set functions, vector lattices and other more explicit
structures are provided.
