Definition 6

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

General Topology, chapter IX, § 6. Polish spaces, Souslin spaces, Borel sets

A topological space $X$ is a Lusin space if it is metrizable and if there exists a zero-dimensional Polish space $P$ and a continuous bijective mapping of $P$ onto $X$ .

Every Lusin space is clearly a Souslin space.

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

Cited by

Proposition 12, § 6
Proposition 13, § 6

Cites

Nothing.