algebra of terms

Мат. алгебра термов