Eine Relation → heißt ''konfluent,'' wenn die folgende Formel gilt: <math>\forall x, y_1, y_2 \in M: (x \stackrel{*}{\rightarrow} y_1 \wedge x \stackrel{*}{\rightarrow} y_2 ) \Rightarrow \exists z \in M: y_1 \stackrel{*}{\rightarrow} z \wedge y_2 \stackrel{*}{\rightarrow} z</math>.<ref>Broy, Manfred, Informatik. Eine grundlegende Einführung: Band 2. Systemstrukturen und Theoretische Informatik , 2nd edn. (Springer, 1998). Seite 198</ref>
''[[Mathematik]], [[theoretische Informatik]], von Relationen:'' durch [[Konfluenz]] gekennzeichnet