Proposition 11
Tag 09RG, permanent. Cite it as [Bourbaki, Tag 09RG].
Integration, IX, p. 65, § 5. Measures on completely regular spaces
Let T be a completely regular space, and let H be a subset of that satisfies Prokhorov’s condition; then its closure in satisfies Prokhorov’s condition.
For, the functions , are lower semi-continuous on by Prop. 6 of No. 3.
The interest of Prokhorov’s condition comes from the following theorem, whose converse will be studied later on (Th. 2).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.