Definition:Baire Property

Definition
Let $T = \struct {S, \tau}$ be a topological space.

Let $H \subseteq S$ be a subset of $S$.

Then $H$ has the Baire property there exists an open set $U \in \tau$ such that the symmetric difference $U \symdif H$ is meager.