thin set

A subset E of a topological space S is said to be meager if E is of first category in S, i.e., if E can be written as the countable union of subsets which are nowhere dense in S. The terms "thin set, " "meager set, " and "first category" are equivalent.

Baire category theorem | first category | nonmeager set | nowhere dense | residual set | second category