Exemple 3

Étiquette 0DDI, permanente. À citer comme [Bourbaki, Tag 0DDI].

Algebra, chapter I, § 1. Lois de composition ; associativité ; commutativité

Soit E un ensemble ; l’application (X, Y) ↦ $X \circ Y$ est une loi de composition sur l’ensemble des parties de E × E (E, II, p. 11, déf. 6) ; l’application (f, g) ↦ $f \circ g$ est une loi de composition sur l’ensemble des applications de E dans E (E, II, p. 31).

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.