Remark
Tag 0B5Q, permanent. Cite it as [Bourbaki, Tag 0B5Q].
General Topology, chapter I, § 7. Limits
If is a limit (resp. cluster point) of a mapping with respect to a filter on , then is also a limit (resp. cluster point) of every function which has the same germ as with respect to (§ 6, no. 9); is said to be a limit (resp. cluster point) of the germ of with respect to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.