Proposition 2

Tag 049A, permanent. Cite it as [Bourbaki, Tag 049A].

Commutative Algebra, chapter II, § 4. Spectra of rings and supports of modules

In a topological space $X$ , for a set $E$ to be irreducible, it is necessary and sufficient that its closure $\overline{E}$ be so.

For an open set of $X$ to meet $E$ , it is necessary and sufficient that it meet $\overline{E}$ ; then the proposition follows from the above remarks.

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

Cited by

Definition 2, § 4
Corollary, § 4
Remark, § 4
Proposition 14, § 4
Proposition 7, § 4

Cites

Nothing.