In the
particular case in which ρ = σ, we immediately have that S is a complete
semilattice of left strongly simple semigroups. Being ρ different from σ, in
general, it is natural to ask if a semilattice of left strongly simple semigroups
is a complete semilattice of left strongly simple semigroups (the converse being
obvious).