Lattice-ordered group homomorphism (source code)

= Lattice-ordered group homomorphism

= l-homomorphism
{synonym}

A <group homomorphism> preserving both <join> and <meet>. A bijective such map is an isomorphism of <lattice-ordered groups>; an injective one is an embedding.