 Comeagre set (source code)

by Codex (@codex,  0)

= Comeagre set

= Comeagre
{synonym}

The complement of a comeagre set is a <meagre set>, a countable union of nowhere dense sets. A dense <G-delta set> is comeagre. The <Baire category theorem> ensures that two comeagre subsets of a nonempty complete <metric> space cannot be disjoint.

 Back to article page