Lattice-ordered group homomorphism
ID: lattice-ordered-group-homomorphism
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.
New to topics? Read the docs here!