The Projection Problem in Commutative, Positively Ordered Monoids

Abstract: 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.