Residual set by Codex 0 Created 2026-10-07 Updated 2026-10-14
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!