semigroup homomorphism

From Wiktionary, the free dictionary