semigroup, but universally quantified.
semigroup
The endomorphism semigroup, where append=compose.
append
compose