terms of a language

[incomplet1906]

If t is the term x*y*z of the language for group theory, why is x*y not a subterm of t? isn't (x*y)*z = x*(y*z) = x*y*z, meaning that x*y is a subterm by definition?

[HallsofIvy]

What is the definition of "subterm"?