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