Kommutatives Binoid/(map p S, *, id S,c p)/Beispiel

Binoid: ${}M=(map_{P}{\text{ }}S,\circ ,id_{S},c_{P})$.