Es sei ${\displaystyle {}M}$ eine endliche Menge

mit ${\displaystyle {}n}$ Elementen und sei ${\displaystyle {}w}$ ein Element, das nicht zu ${\displaystyle {}M}$ gehöre. Zeige, dass dann die Vereinigung ${\displaystyle {}M\cup \{w\}}$ genau ${\displaystyle {}n'}$ Elemente besitzt.