First category space/Definition

A topological space which is a countable union of nowhere dense subsets; a meagre space.