# Equivalence of Baire Space definitions

I am hoping someone could help me show that the following statements, which define a Baire Space, are equivalent.

Defn1: Any topological space X such that the intersection of any countable collection of open dense sets is dense is called a Baire space.

I know that this statement is equivalent to the following:

1)$(A_i)$ countable collection of closed nowhere dense sets $\rightarrow \operatorname{int}(\cup_i A_i) = \emptyset$.

2)Union of countable collection of closed sets has an interior point $\rightarrow$ one of the closed sets has an interior point.

3)Union of any countable collection of closed sets with empty interior has empty interior.

Now the issue is that I came across another definition of a Baire Space. It is as follows:

Defn2: $X$ is Baire iff every nonempty open set is nonmeager.

Are definitions 1 and 2 equivalent? If so, why?

If an open set O is meager then it is contained in the union of a sequence $F_n$ of closed sets with empty interior. Then the complement $G_n$ of $F_n$ is an open dense set (why?) and the intersection of $G_n$ is not dense (because it does not intersect $O$). The converse can be done similarly.