Example 3
Tag 0B3F, permanent. Cite it as [Bourbaki, Tag 0B3F].
General Topology, chapter I, § 5. Open mappings and closed mappings
With the notation of Example 2, suppose now that the are closed and the are homeomorphisms; further suppose that for each index i there is only a finite number of indices x such that (i.e. each is "stuck" to only a finite number of ). Then the relation R is closed. For if F is any closed subset of X, the saturation of F is the union of the sets ; the assumptions made imply that this family is locally finite, and is closed in and therefore in X. The result therefore follows from Proposition 4 of § 1, no. 5.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.