Megjegyzés
Természetesen kommutatív művelet esetén a*c \simeq b*c és c*a \simeq c*b egymással ekvivalens, így ebben az esetben elegendő csak az egyik feltételt kikötni.
♣
Természetesen kommutatív művelet esetén a*c \simeq b*c és c*a \simeq c*b egymással ekvivalens, így ebben az esetben elegendő csak az egyik feltételt kikötni.
♣