partial function

Частично вычислимая функция