Es sei M {\displaystyle {}M} eine n {\displaystyle {}n} -elementige Teilmenge. Wir bezeichnen mit P k ( M ) {\displaystyle {}{\mathfrak {P}}_{k}\,(M)} die Menge der k {\displaystyle {}k} -elementigen Teilmengen von M {\displaystyle {}M} und mit Num ( M ) {\displaystyle {}\operatorname {Num} {\left(M\right)}} die Menge der bijektiven Abbildungen von { 1 , 2 , 3 , … , n } {\displaystyle {}\{1,2,3,\ldots ,n\}} nach M {\displaystyle {}M} (also alle Nummerierungen von M {\displaystyle {}M} ). Beweise Fakt unter Verwendung der Abbildung
und Fakt.
eine 
-elementige Teilmenge. Wir bezeichnen mit 
die Menge der 
-elementigen Teilmengen von und mit 
die Menge der
bijektiven Abbildungen
von 
nach
(also alle Nummerierungen von ).
Beweise
Fakt
unter Verwendung der Abbildung
