Treillis Modulaire

Un treillis modulaire est un treillis satisfaisant l'identité modulaire : pour tous x, y, z avec x ≤ z, x ∨ (y ∧ z) = (x ∨ y) ∧ z. Cette condition est plus faible que la distributivité mais plus forte que les seuls axiomes de treillis ; elle contrôle l'interaction de join et meet lorsqu'un élément est inférieur à un autre.