 This terminology can be explained by the fact that the canonical projection "p" from "M" onto formula_6 is universal among all monoid homomorphisms from "M" to a (∨,0)-semilattice, that is, for any (∨,0)-semilattice "S" and any monoid homomorphism "f