Treillis Distributif

Un treillis distributif est un treillis dans lequel meet et join se distribuent l'un sur l'autre : pour tous x, y, z, x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z) (la loi duale avec ∨ distribuant sur ∧ est équivalente dans le cadre des axiomes de treillis).