Es ist immer geschickt, wenn Du eine Menge zerlegst in Inneres, Rand, Äußeres.
\( M \cap \partial M = \emptyset \) bedeutet, dass kein einziger Randpunkt zu \( M \) gehört.
\( \partial M \subset M \) bedeutet, dass alle Randpunkt zu \( M \) gehören.
Nun nutze Deine Definitionen.