Man nennt einen Monoidhomomorphismus
einen K {\displaystyle {}K} -wertigen Punkt von M {\displaystyle {}M} .