Surjekcyjo. Fůnkcyjo formula_1 zwjy śe surjekcyjům kej lo kożdego formula_2 egzistuje formula_3 lo kerygo formula_4, kej za formula_5 bjere śe mnogośći. Jak formula_5 sům skůńczůne, formula_7 i formula_8, to wszyjskich surjekcyjůw ze mnogośći formula_9 na mnogość formula_10 je gynau formula_11, kaj 
formula_12 je Stirlingowym nůmerym drugygo tipa.