reducible term

Мат. сводимый терм