Die Menge der Paare mit x=y ist ja die 1. Winkelhalbierend.
Mit x>y hast die die Punkte, die "unterhalb" dieser Geraden liegen.
Du musst also zu jedem dieser Punkte eine offene Kreisscheibe finden,
die ganz in M liegt, also anschaulich ganz unterhalb der Winkelhalbierenden.
Wenn P(x.y) (nenne ich mal so, statt xo) so ein Punkt ist, gilt
jedenfalls x>y. Und B(P, r) ⊂ M für z.B. für r= (x-y)/4 .
Denn der von P aus nächste Punkt auf der Geraden mit y=x
ist ( (x+y)/2 ; (x+y)/2 ) ) und der ist (x-y)/√2 , also weiter
als (x-y)/4 von P entfernt.