In this paper we prove the following: If $S$ is an ordered semigroup, then the set ${\cal P} (S)$ of all subsets of $S$ with the multiplication $"\circ"$ on ${\cal P}(S)$ defined by $"A\circ B: = (AB]$ if $A, B\in {\cal P}(S)$, $A\neq \emptyset$, $B\neq \emptyset$ and $A\circ B: =\emptyset$ if $A = \emptyset$ or $B=\emptyset$ is an le-semigroup having a zero element and $S$ is embedded in ${\cal P}(S)$.
DVI format (21 Kb), ZIP-ed DVI format (9 Kb),
ZIP-ed PostScript format (114 Kb), ZIP-ed PDF format (117 Kb )