Bourbaki

Remark

Tag 0B5Q, permanent. Cite it as [Bourbaki, Tag 0B5Q].

General Topology, chapter I, § 7. Limits

If y∈Yy \in Y is a limit (resp. cluster point) of a mapping f:X→Yf : X \to Y with respect to a filter F\mathfrak{F} on XX, then yy is also a limit (resp. cluster point) of every function g:X→Yg : X \to Y which has the same germ as ff with respect to F\mathfrak{F} (§ 6, no. 9); yy is said to be a limit (resp. cluster point) of the germ f~\tilde{f} of ff with respect to F\mathfrak{F}.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.