Lattice properties of semigroups.