Example
Tag 055Q, permanent. Cite it as [Bourbaki, Tag 055Q].
Algebra, chapter I, § 1. Laws of composition; associativity; commutativity
(1) Addition and multiplication of natural numbers are commutative laws on (Set Theory, III, § 3, no. 3, Corollary to Proposition 5).
(2) On a lattice the laws sup and inf are commutative; so, in particular, are the laws and between subsets of a set E.
(3) Let E be a set of cardinal . The law between mappings of E into E is not commutative as is seen by taking f and g to be distinct constant mappings, but the identity mapping is permutable with every mapping.
(4) Let be a commutative law on ; the law
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.