Further on, we can specify an algebra that consists of axioms for commutativity, distributivity, associativity, etc.

• 进一步的，我们可以定义包含交换律、分配律、结合律等公理的代数。