though the latter is in general a weaker property. By duality, the same is true for join-prime and join-irreducible elements. If a lattice is distributive, its covering relation forms a median graph.

Furthermore, every distributive lattice is also modular.

Representation theory

The introduction already hinted