Transformation Monoid

The transformation monoid associated to a Monoid Action α : M × A → A : 𝛼 → 𝑀 𝐴 𝐴 \alpha:M\times A\to A is a submonoid of the Endomorphism Monoid that contains all endomaps in the image of α 𝛼 \alpha .