Semimodular lattice
（重定向自Semimodular）
In the branch of mathematics known as order theory, a semimodular lattice, is a lattice that satisfies the following condition:
The notation a <: b means that b covers a, i.e. a < b and there is no element c such that a < c < b.