по мат. логике
 

Найти число сюръекций на конечном множестве.
(Сюръекция – Пусть f – это функция с областью определения A и областью значений B. Тогда f является сюръекцией (называемой также связью многие-к-одному «на») тогда и только тогда, когда каждый элемент b в B представляет собой образ не менее одного элемента a из A – другими словами, тогда и только тогда, когда множество значений f совпадает с областью значений.)