A subset E of a topological space S is said to be nonmeager if E is of second category in S, i.e., if E cannot be written as the countable union of subsets which are nowhere dense in S.

Baire category theorem | first category | meager set | nowhere dense | second category