Exemple 3
Étiquette 0E45, permanente. À citer comme [Bourbaki, Tag 0E45].
Theory of Sets, chapter III, § 1. Relations d’ordre. Ensembles ordonnés
L’ensemble des sous-modules de type fini d’un module quelconque (A, II, § 1, n° 7) est filtrant pour la relation ⊂.*
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.