Definition 7

Tag 055O, permanent. Cite it as [Bourbaki, Tag 055O].

Let E be a magma whose law is denoted by $\top$ . Two elements x and y of E are said to commute (or to be permutable) if $y \top x = x \top y$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.