Empty sets vacuously satisfy derangement condition.
Add subfactorial, number_of_derangements.