Wenn ich als Definition nehme: ∂A ⊂ A also A = A ∪ ∂A, dann könnte ich ja schreiben
A = {y ∈ M : d(x, y) ≤ r} = {y ∈ M : d(x, y) < r} ∪ {y ∈ M : d(x, y) = r}
Aber muss ich dann nicht noch irgendwie nachweisen, dass:
∂A = {y ∈ M : d(x, y) = r}
Wie würde ich dann da herangehen?