vity</a>:</p><pre><code class="ml">a • (b • c) = (a • b) • c</code></pre><p>Where the <code>•</code> operation is a placeholder for the operation used in the magma's implementation. Some concrete examples are addition (<code>+</code>) and multiplication (<code>*</code>):</p><pre><code class="ml"># 1 + (2 + 3) = (1 + 2) + 3;;
- : bool = true
# 1 * (2 * 3) = (1 * 2) * 3;;
- : bool = true</code></pre><p>And as you saw in the previous section, subtraction isn't associative so it can't describe somethi