  We consider two constructions of an envelope for a finite locally
distributive strong upper semilattice. The first is based on Birkhoff's
representation of finite distributive lattices and the second on valuations on
lattices. We show that these produce isomorphic envelopes.
