Частично определенная функция