A lattice which satisfies the identity (x⋀y)⋁(x⋀z) = x⋀(y⋁(x⋀z)) is said to be modular.