квазистандартная функция

Мат. quasistandard function