paragraph_text: Često djelovanje označavamo sintaktički kao dvovrsnu binarnu operaciju, tj. njenu oznaku pišemo između argumenata. Ako je djelovanje dakle <math>\triangleright : R\times M\to M</math>, u toj sintaksi su gornji aksiomi