Assertion: substitution | /r/Synonym | flat substitution
Facets:
Source sentences:
text: A substitution σ is called a flat substitution if xσ is a variable for every variable x. A substitution σ is called a renaming substitution if it is a permutation on the set of all variables.