Meagre set

A meagre, or first-category, set is a countable union of nowhere dense sets.

An uncountable subset of the real numbers with countable intersection with every meagre set. This is the category counterpart of a Sierpiński set.

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.

A Lusin set is an uncountable subset $A$ of the real numbers such that $A\cap M$ is countable for every meagre set $M$. Every meagre subset has a meagre $F_{\sigma }$ cover, so testing those covers suffices. The Lusin set construction under CH gives an example. A Lusin set has no uncountable meagre subset of itself.

Under the Continuum hypothesis, enumerate the meagre $F_{\sigma }$ covers by ${\omega }_1$. At stage $\alpha$ choose a new real outside all earlier covers and the previous choices. The excluded union is meagre, so the Baire category theorem makes the choice possible. Each cover then contains only countably many selected points. Arbitrary meagre sets need not themselves have only continuum many possible choices; the coded covers are what is enumerated.