Definition 8
Tag 055P, permanent. Cite it as [Bourbaki, Tag 055P].
Algebra, chapter I, § 1. Laws of composition; associativity; commutativity
A law of composition on a set E is called commutative if any two elements of E commute under this law. A magma whose law of composition is commutative is called a commutative magma.
A commutative law is equal to its opposite.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.