Fōnkcyjo formula_1 zwiy sie suriekcyjōm kej lo kożdego formula_2 egzistuje formula_3 lo kerygo formula_4, kej za formula_5 biere sie mnogości. Jak formula_5 sōm skōńczōne, formula_7 i formula_8, to wszyjskich suriekcyjōw ze mnogości formula_9 na mnogość formula_10 je gynau formula_11, kaj formula_12 je Stirlingowym nōmerym drugygo tipa.