Note on decomposition of ordered semigroups - Partnership for Open Publishing