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**.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

*Ralph Freese *

Wed May 1 14:43:43 HST 1996