is both meagre and comeagre, and there are no nonmeagre sets. If the space is nonmeagre, no set is at the same time meagre and comeagre, every comeagre set is nonmeagre, and there can be nonmeagre sets that are not comeagre, that is, with nonmeagre complement. See the Examples section below.

As an additional point of terminology, if a subset of a topological space is given the subspace topology induced from , one can talk about it being a meagre space, namely being a meagre subset of itself