The main result of this paper is
that the class of congruence lattices of semilattices satisfies no nontrivial lattice
identities. It is also shown that the class of subalgebra lattices of semilattices satisfies
no nontrivial lattice identities. As a consequence it is shown that if 𝒱 is a semigroup
variety all of whose congruence lattices satisfy some fixed nontrivial lattice identity,
then all the members of 𝒱 are groups with exponent dividing a fixed finite
number.