This paper gives sufficient
conditions, of a relation-theoretic nature, in order that a quotient of the state space
of a recursion (or topological machine) be a topological semigroup iseomorphic to the
endomorphism semigroup of the recursion, generalizing recent function-theoretic
results.