 Distributive homomorphism

A congruence θ of a join-semilattice "S" is "monomial", if the θ-equivalence class of any element of "S" has a largest element.We say that θ is "distributive", if it is a join, in the congruence lattice Con "S" of "S", of monomial join-congruences of "S".