Example
Tag 0B40, permanent. Cite it as [Bourbaki, Tag 0B40].
General Topology, chapter I, § 6. Filters
Let be any set of subsets of a set , and let be the topology on generated by ( 2, no. 3, Example II). Since the set of finite intersections of sets of is a base of , it follows from the proof of Proposition 1 above and from Proposition 3 of 1, no. 3 that for each the neighbourhood filter of for is generated by the set of sets of which contain .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.