Congruence join semidistributivity is equivalent to a congruence identity
- 39 Downloads
We show that a locally finite variety is congruence join semidistributive if and only if it satisfies a congruence identity that is strong enough to force join semidistributivity in any lattice.
Unable to display preview. Download preview PDF.