Bourbaki

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 EE, ∅\varnothing est le seul élément simplifiable pour la loi ∪\cup, EE le seul élément simplifiable pour la loi ∩\cap.

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.

Transcrit du volume imprimé. Non traduit.