Exemple 1
Étiquette 0E43, permanente. À citer comme [Bourbaki, Tag 0E43].
Theory of Sets, chapter III, § 1. Relations d’ordre. Ensembles ordonnés
Un ensemble ordonné qui admet un plus grand élément est filtrant à droite.
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.