Residual set
= Residual set
A set containing a countable intersection of open dense subsets. The intersection itself is also called a residual set. In a <Baire space> it is dense. This topological notion of genericity does not by itself assert full measure.