Natürliche Zahlen/Differenz/Mengendifferenz/Fakt

Satz über die Differenz und endliche Mengen

Es sei ${}M$ eine endliche Menge mit ${}m$ Elementen und es sei

${}T\subseteq M\,$

eine Teilmenge, die ${}k$ Elemente besitze.

Dann besitzt

$M\setminus T$

genau ${}m-k$ Elemente.

Zum Beweis, Alternativen Beweis erstellen