##  [Konfluenz (Church–Rosser-Eigenschaft)](/de/node/60947) 

  ##  [Konfluenz (Church–Rosser-Eigenschaft)](https://mathlogic.quantumdictionary.io/de/node/60948) 

  

 [![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 Eigenschaft eines Umformungs- oder Reduktionssystems, die besagt, dass immer dann, wenn ein Term durch zwei (möglicherweise verschiedene) Reduktionsfolgen in Terme s und t überführt werden kann, ein Term u existiert, auf den sowohl s als auch t weiter reduziert werden können (d. h. s ↓ u und t ↓ u). Konfluenz wird oft als Church–Rosser-Eigenschaft bezeichnet.