Menge/Endliche Teilmengen/Rekursiv/Gleichmächtigkeit ist Äquivalenzrelation/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Menge und die Menge der endlichen Teilmengen von . Dann definiert die Gleichmächtigkeit eine Äquivalenzrelation auf .