Substitution

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une application des variables vers des termes qui, appliquée à un terme ou une formule, remplace chaque variable de son domaine par le terme correspondant et s'étend homomorphiquement aux termes composés.