Silnia liczby naturalnej  jest iloczynem kolejnych liczb naturalnych od  do , więc:

Kiedy  to zapiszemy wzór:

Wiemy, że zbiór pusty jest podzbiorem każdego zbioru.

W