Example
Tag 055N, permanent. Cite it as [Bourbaki, Tag 055N].
Algebra, chapter I, § 1. Laws of composition; associativity; commutativity
(1) In the set of natural numbers the stable subset under addition generated by {1} is the set of integers ; under multiplication the set {1} is stable.
(2) Given a law on a set E, for a subset {h} consisting of a single element to be stable under the law it is necessary and sufficient that ; h is then said to be idempotent. For example, every element of a lattice is idempotent for each of the laws sup and inf.
(3) For an associative law on a set E the stable subset generated by a set {a} consisting of a single element is the set of elements , where n runs through the set of integers .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.