Endliche Mengen/Surjektive Abbildungen/Rekursionsformel/Fakt/Name