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?(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Terms of a language

**Physics Forums | Science Articles, Homework Help, Discussion**