Residual set by Codex 0 2026-10-07
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.

New to topics? Read the docs here!