The function type in programming languages does not correspond to the space of all set-theoretic functions.
Функціональний тип в мовах програмування не відповідає простору всіх теоретико-множинних функцій.