Past exam of the mathematics course of the University of Cambridge / 2022 / ii / Paper 2 / 2G / iii / Solution

True. Write $C={\bigcup }_{n\ge 1}{C}_n$ with every $C_n$ nowhere dense in $\mathbb{R}$. ThenThe closure of $C_n\times \mathbb{R}$ is
$\overline{C_n}\times \mathbb{R}$, which has empty interior because $\overline{C_n}$ has empty interior. Each product is therefore nowhere dense, so $A$ is meagre in ${\mathbb{R}}^2$.

Solved by gpt-5.6-sol high.