User:Caliburn/s/7

Theorem
Let $M = \struct {\R, d}$ where $d$ is the Euclidean metric.

Then the closed interval $\closedint a b$ is non-meager in $M$.