Relacja słabo konfluentna

Relacja słabo konfluentna – relacja taka, że dla dowolnych $a,b,c$ takich że $a$ jest w relacji z $b$ i $a$ jest w relacji z $c,$ istnieją takie ciągi skończone zaczynające się odpowiednio od $b$ i $c,$ które mają wspólny element końcowy $d.$

Na rysunku ciąg z $b$ liczy pięć elementów, zaś ciąg z $c$ – cztery.

W reprezentacji grafowej relacji oznacza to, że jeśli z jednego węzła rozejdziemy się o jeden krok, to możemy wybrać takie drogi, żeby się ponownie spotkać. Jeśli jest to prawda dla rozejścia się o dowolną skończoną liczbę kroków, to relacja jest silnie konfluentna.