Completion of Semirings

A semiring can be completed'' (i.e., embedded into a semiring in which all infinite sums are defined and satisfy some reasonable properties) iff this semiring can be naturally partially ordered. This construction is natural’’ (a left adjoint to the forgetful functor), and quite straightforward.