Beschränktheit:  Wäre M beschränkt, dann gäbe es ein c ∈ ℝ mit
|z| < c gilt für alle z ∈ M.
Und für z = (x,y) ∈ ℝ^2 ist ja |z| = √ (x^2 + y^2 ).
Wenn du also etwa für alle x>0 die Paare   z =  ( x ,  x+1/2 ) betrachtest, dann gilt
für diese  | x - (x+1/2) | = | 1/2 | = 1/2 < 1 , sie sind also alle in M.
Andererseits gilt aber
|z| = √ ( x^2 + (x+1/2)^2 ) = √ (2x^2 + x + 1/4 )
> √ (2x^2 )  > x * √2   > x .
Also gibt es kein c mit |z| < c gilt für alle z ∈ M.