First category space/Definition

This article contains just a definition and optionally other subpages (such as a list of related articles), but no metadata. Create the metadata page if you want to expand this into a full article.

First category space [r]: A topological space which is a countable union of nowhere dense subsets; a meagre space.