Zu n , k ∈ N {\displaystyle {}n,k\in \mathbb {N} } bezeichne Surj ( n , k ) {\displaystyle {}\operatorname {Surj} (n,k)} die Anzahl der surjektiven Abbildungen einer n {\displaystyle {}n} -elementigen Menge in eine k {\displaystyle {}k} -elementige Menge. Dann gilt die Rekursionsformel
bezeichne 
die Anzahl der
surjektiven Abbildungen
einer 
-elementigen Menge in eine 
-elementige Menge. Dann gilt die Rekursionsformel
