In this paper we define
the ordered wreath product of a chain of ordered permutation groups and
characterize it by certain completeness properties. We then use the construction to
prove a nonabelian analogue of Hahn’s theorem for totally ordered abelian
groups.