An ordered semigroup S is called archimedean if for any a, b ∈ S there exists
k ∈ N such that bk ∈ (SaS] [10]. Equivalently, for every a, b ∈ S there exists a
natural number k ∈ N, k ≥ 1 such that bk belongs to the ideal of S generated
by a. It might be noted that every left strongly simple ordered semigroup is
an archimedean ordered semigroup. Decomposition of an ordered semigroup
into archimedean components has been given in [9]. It has been proved, among
others, in [9; Theorem 2.8] that an ordered semigroup S is a complete semilattice
of archimedean semigroups if and only