Die Subfakultät ist eine vornehmlich in dem mathematischen Gebiet der Kombinatorik auftretende Funktion. Die Subfakultät gibt die Anzahl der fixpunktfreienPermutationen (auch Derangements) auf einer endlichen Menge an. Sie ist eng mit der Fakultät verwandt, welche die Gesamtzahl der Permutationen auf einer endlichen Menge angibt.
Es sei und . Eine Abbildung heißt fixpunktfrei, wenn für alle die Ungleichung gilt, und bijektiv, wenn sie anschaulich nur die Reihenfolge der Elemente von M verändert. Die Subfakultät von n ist definiert als die Anzahl der fixpunktfreien bijektiven Abbildungen , also
Formel für !n
Die Subfakultät kann mit Hilfe der Fakultät explizit berechnet werden. Es gilt:
Angenommen man hat 6 verschiedenfarbige Kugeln, und zu jeder Kugel ein Kästchen in der passenden Farbe. Zu bestimmen ist die Anzahl der Möglichkeiten, die Kugeln so auf die Kästchen zu verteilen, dass jedes Kästchen genau eine Kugel enthält, aber keine Kugel in einem gleichfarbigen Kästchen zu liegen kommt.
Nach der Definition der Subfakultät gibt es genau !6 Möglichkeiten. Mit Hilfe der obigen Formel berechnet man .
Wird entsprechend gerundet, bekommt man eine exakte Formel:
wobei zur nächstliegenden ganzen Zahl gerundet wird. Wird in der letzten Formel vor der Division noch die Zahl Eins addiert, so erspart man sich die Unterscheidung, ob ab- oder aufgerundet werden muss. Stattdessen schneidet man den Nachkommateil einfach ab: