Bemerkung: Im nicht-kommutativen Fall muss man bei der Teiler- und Vielfachen-Eigenschaft die Seitigkeit (linke, rechte) benennen, was das einfache Teilbarkeitssymbol (dessen symmetrische Gestalt schon einer Spiegelung mit inverser Bedeutung im Wege steht) des kommutativen Falls nicht ausdrücken kann. ...