Modular Lattice

A Lattice which satisfies the identity

$$(x\wedge y)\vee(x\wedge z)=x\wedge(y\vee (x\wedge z))$$

is said to be modular.

See also Distributive Lattice

References

Grätzer, G. Lattice Theory: First Concepts and Distributive Lattices. San Francisco, CA: W. H. Freeman, pp. 35-36, 1971.