Shnirel'man's inequality and Shnirel'man's basis theorem are fundamental results about sums of sets of positive integers in additive number theory. It is proved that these results are inherently order-theoretic and extend to partially ordered abelian and nonabelian groups. One abelian application is an addition theorem for sums of sets of $n$-dimensional lattice points.

Minor corrections and improvements. 12 pages