Nowhere dense set
A finite union of nowhere dense sets is again nowhere dense.
A first category space or meagre space is a countable union of nowhere dense sets: any other topological space is of second category. The Baire category theorem states that a non-empty complete metric space is of second category.
- J.L. Kelley (1955). General topology. van Nostrand, 145,201.