Property of Baire

A subset A \subseteq X of a topological space X is called almost open and is said to have the property of Baire or the Baire property if there is an open set U\subseteq X such that A \bigtriangleup U is a meager subset, where \bigtriangleup denotes the symmetric difference. == Properties ==

The family of sets with the property of Baire forms a σ-algebra. That is, the complement of an almost open set is almost open, and any countable union or intersection of almost open sets is again almost open. It follows from the axiom of choice that there are sets of reals without the property of Baire. In particular, a Vitali set does not have the property of Baire. Already weaker versions of choice are sufficient: the Boolean prime ideal theorem implies that there is a nonprincipal ultrafilter on the set of natural numbers; each such ultrafilter induces, via binary representations of reals, a set of reals without the Baire property. == See also ==