Lower and Upper Sum Relationships

We prove relationships between the lower and upper sums of partitions and their refinements. We also show that any lower sum of a function is less than or equal to every upper sum of the function.