# Tag Info

A meager set is a set which is a countable union nowhere dense sets. They are also called sets of first category. Nonmeager sets are called sets of second category. An equivalent formulation of the BCT is that all open subsets of a topological space $X$ are sets of second category.