A subset of a topological space is said to be nonmeager if is of second category in , i.e., if cannot be written as the countable union of subsets which are nowhere dense in .
Nonmeager Set
See also
Baire Category Theorem, First Category, Meager Set, Nowhere Dense, Second CategoryThis entry contributed by Christopher Stover
Explore with Wolfram|Alpha
References
Rudin, W. Functional Analysis. New York: McGraw-Hill, 1991.Cite this as:
Stover, Christopher. "Nonmeager Set." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/NonmeagerSet.html