Separabilità di un insieme

[Mondo]

Un insieme si dice separabile se ammette un sottoinsieme denso numerabile.

Si dimostri che se$ |X|\le \aleph_0 $ allora $ \mathbb R \setminus X $ è separabile

[edriv]

Beh dentro ogni intervallo con estremi razionali dovrò trovarci un punto che non ho tolto... gli intervalli con estremi razionali sono numerabili, quindi, pace!