Proposition 16
Tag 0B93, permanent. Cite it as [Bourbaki, Tag 0B93].
General Topology, chapter I, § 9. Compact spaces and locally compact spaces
Every closed subspace of a paracompact space is paracompact.
Certainly is Hausdorff. On the other hand, if is an open covering in the subspace , then each is of the form , where is open in . Consider the open covering of formed by and the ; since is paracompact, has a locally finite refinement , and the intersections with of the sets belonging to form a locally finite open covering of which is finer than the given covering .
On the other hand an open subspace of a compact space need not be paracompact (Exercise 11).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.