Assertion: substitution | /r/CapableOf | map each variable
Facets:
value: to structurally equal result terms
type: TRANSITIVE-OBJECT
Source sentences:
text: k ↦ t k }[note 1] refers to a substitution mapping each variable x i to the corresponding term
text: Two substitutions are considered equal if they map each variable to structurally equal result terms, formally: