Exemple 2
Étiquette 0DDU, permanente. À citer comme [Bourbaki, Tag 0DDU].
Algebra, chapter I, § 2. Élément neutre ; éléments simplifiables ; éléments inversibles
Dans un ensemble ordonné réticulé, il ne peut y avoir d’autre élément simplifiable pour la loi sup que l’élément neutre (plus petit élément) s’il existe ; de même pour inf. En particulier, dans l’ensemble des parties d’un ensemble , est le seul élément simplifiable pour la loi , le seul élément simplifiable pour la loi .
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.