Es seien M{\displaystyle {}M} und N{\displaystyle {}N} kommutative Monoide und sei K{\displaystyle {}K} ein Körper.