Die Abbildung \(F:\; \mathbb{R}^2\rightarrow \mathbb{R},\; (x,y)\mapsto y-x^2\) ist
als polynomiale Funktion stetig. Da Urbilder offener / abgeschlossener Mengen unter
stetigen Abbildungen resp. offen / abgeschlossen sind,
ist \(M_1=F^{-1}((0,\infty))\) offen und \(M_2=F^{-1}([0,\infty))\) abgeschlossen.
Da \(M_2\) nicht beschränkt ist, ist diese Menge nicht kompakt.