On Sums Over Partially Ordered Sets
Abstract
We establish a general theorem for reducing sums of type $\sum_{y\ge x} g(y)$ where $g$ is a mapping from a partially ordered set into an abelian group. Conclusions concern the Möbius function, the principle of inclusion-exclusion, the Tutte polynomial and Crapo's beta invariant.