In this paper, using the concept of pseudoorder, we first prove
that each ordered semigroup can be considered as a quotient of a
free ordered semigroup. Then we give a characterization of free
ordered semigroups.