Exemple 4
Étiquette 0DDJ, permanente. À citer comme [Bourbaki, Tag 0DDJ].
Algebra, chapter I, § 1. Lois de composition ; associativité ; commutativité
Soit E un ensemble ordonné réticulé (E, III, p. 13) ; si on désigne par sup(x, y) la borne supérieure de l’ensemble {x, y}, l’application (x, y) ↦ sup(x, y) est une loi de composition sur E. De même pour la borne inférieure inf(x, y). L’exemple 1 ci-dessus est un cas particulier de celui-ci, en considérant comme ordonné par inclusion.
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.