Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ii/paper-2/2g/i/solution

A set is of first Baire category, or meagre, when it is a countable union of 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.

New to topics? Read the docs here!