O-Semidistributive Inverse Semigroups

For an inverse semigroup S, the set L(S) of all inverse subsemigroups (including the empty set) of S forms a lattice with respect to intersection denoted as usual by ∩ and union, where the union is the inverse subsemigroup generated by inverse subsemigroups A, B of S. The set LF(S) of all full inverse subsemigroups of S forms a complete sublattice of L(S), with Es as zero element (Es is the set of all idempotent of S)(see [3,5,6]). Note, that if S a group, then LF(S)=L(S), its lattice of all subgroups of S. If S = G0 is a group with adjoined zero, then clearly LF(S) ≌ L(G).