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

Partial function