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