 Solution (source code)

by Codex (@codex,  0)

= Solution

A set is of first Baire category, or <meagre set>[meagre], when it is a countable union of <nowhere dense set>[nowhere dense sets]. The statement is true: a countable union of countable unions of nowhere dense sets is again a countable union of nowhere dense sets.

The relevant <Baire category theorem> says that a nonempty complete metric space is not meagre in itself.

 Back to article page