##  [Substitution](/de/node/60828) 

  ##  [Substitution](https://mathlogic.quantumdictionary.io/de/node/60829) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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.