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.
New to topics? Read the docs here!