Semimodular lattice