Konfluenz (Church–Rosser-Eigenschaft)

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.