モノイド
S の任意の元 a, b, c に対して、(a • b) • c = a • (b • c).
↑ Jacobson 2009, p. 29, examples 1, 2, 4 & 5.
↑ Jacobson 2009, p. 35.
↑ Jacobson, I.5. p. 22