$n!$, $n$ elemanlı kümeden kendisine bire-bir (dolayısıyla örten) fonksiyonların sayısı olarak tanımlanırsa (veya alışılmış tanımı ile buna eşit olduğu kolayca gösterildiğinde); 0!, boş kümeden kendisine bire-bir fonksiyonların sayısı olmalıdır. Bu sayının da 1 olduğu kolayca görülür.