In the mathematical fields of general topology and descriptive set theory, a meagre set (also called a meager set or a set of first category) is a set that, considered as a subset of a (usually larger) topological space, is in a precise sense small or negligible. The meagre subsets of a fixed space form a sigma-ideal of subsets; that is, any subset of a meagre set is meagre, and the union of countably many meagre sets is meagre.
General topologists use the term Baire space to refer to a broad class of topological spaces on which the notion of meagre set is not trivial (in particular, the entire space is not meagre). Descriptive set theorists mostly study meagre sets as subsets of the real numbers, or more generally any Polish space, and reserve the term Baire space for one particular Polish space.
The complement of a meagre set is a comeagre set or residual set.
Read more about Meagre Set: Definition, Terminology, Properties, Banach–Mazur Game
Famous quotes containing the words meagre and/or set:
“All earth was but one thought—and that was death,
Immediate and inglorious; and the pang
Of famine fed upon all entrails—men
Died, and their bones were tombless as their flesh;
The meagre by the meagre were devour’d,”
—George Gordon Noel Byron (1788–1824)
“Old people love to give good advice to console themselves for no longer being able to set a bad example.”
—François, Duc De La Rochefoucauld (1613–1680)