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