Associative algebra
Set
| context | $A$…R-module |
| definiendum | $\langle A,[\cdot,\cdot]\rangle \in \mathrm{AssociativeAlgebra}(A)$ |
| postulate | $\langle A,[\cdot,\cdot]\rangle$ … algebra over $A$ |
| postulate | $[\cdot,\cdot]$ … associative |
Discussion
Reference
Wikipedia: Associative algebra