Assertion: substitution | /r/Synonym | linear substitution
Facets:
Source sentences:
text: A substitution σ is called a linear substitution if tσ is a linear term for some (and hence every) linear term t containing precisely the variables of σ's domain, i.e. with