Actually Crawley and Dilworth define locally distributive only for strongly atomic lattices. We generalize this definition to an arbitrary complete lattice L in the obvious way: if u is in L let u_a be the join of the covers of u; if there are none u_a = u. L is locally distributive if u_a/u is distributive for each u in L.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.