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

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