(4) "S" is generated, as a join-semilattice, by all the elements of the form μ("x",0), for "x" in "P".Furthermore, if "S" has a largest element, then "P" can be assumed to be a lattice with a largest element.