Semimodular lattice

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.