in a locally compact Hausdorff space $X$
A set belonging to the $\sigma$-ring generated by the class of all compact sets in $X$ that are $G_\delta$-sets. A Baire set serves to define the concept of a Baire-measurable function. In all classical particular cases in which measure theory is developed in topological spaces, e.g. in Euclidean spaces, the concept of a Baire set coincides with that of a Borel set.
|[H]||P.R. Halmos, "Measure theory" , v. Nostrand (1950) MR0033869 Zbl 0040.16802|
Baire set. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Baire_set&oldid=32053