abelian group

Let G and H be partially ordered abelian groups. A positive homomorphism from G to H is any abelian group homomorphism f:G→H that maps positive elements to positive elements, that is, f(G⁺)⊆H⁺.