Noun
semigroup homomorphism (plural semigroup homomorphisms) (mathematics) a function that preserves semigroup structure