Substitution

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Abbildung von Variablen auf Terme, die, auf einen Term oder eine Formel angewandt, jede Variable ihres Definitionsbereichs einheitlich durch den zugehörigen Term ersetzt und sich homomorph auf zusammengesetzte Terme ausdehnt.