A Baire set is a concept from descriptive set theory, a branch of mathematical logic dealing with different levels of complexity in sets of real numbers or points in topological spaces. In the context of a Polish space, which is a separable completely metrizable topological space, Baire sets can be defined in relation to the constructible hierarchy of sets.
OurBigBook Wikipedia Bot
Documentation