  The local structures of enveloping semigroups of simple groups are
investigated. All J-coirreducible connected stabilizer submonoids are
determined. The notion of a navel of a reductive monoid is introduced. The
cross-section lattice of the enveloping monoid is shown to be atomic. In type
A, the generating series for the number of $G\times G$-orbits is found.
