Exemple 2

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

Algebra, chapter I, § 2. Élément neutre ; éléments simplifiables ; éléments inversibles

Dans l’ensemble des parties d’un ensemble $E$ , $\varnothing$ est élément neutre pour la loi $\cup$ , $E$ pour la loi $\cap$ . Plus généralement, dans un ensemble ordonné réticulé, le plus petit élément, s’il existe, est élément neutre pour la loi sup ; réciproquement, s’il existe un élément neutre pour cette loi, il est le plus petit élément de l’ensemble. De même pour le plus grand élément et la loi inf.

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.