Terms and semiterms
Jaroslav Ježek · Czech digital mathematics library · 1979
A construction of the algebra of terms is found which allows a notation making the study of subterm instances more comfortable.It turns out that it is useful to consider (together with terms) new ideal objects, called semiterms.Using the theory of semiterms ? a representation of universal algebras in commutative semigroups is obtained.