Tekst źródłowy strony Relacja słabo konfluentna

'''Relacja słabo konfluentna''' – [[relacja (matematyka)|relacja]] taka, że dla dowolnych <math>a, b, c</math> takich że <math>a</math> jest w relacji z <math>b</math> i <math>a</math> jest w relacji z <math>c,</math> istnieją takie ciągi skończone zaczynające się odpowiednio od <math>b</math> i <math>c,</math> które mają wspólny element końcowy <math>d.</math>

[[Plik:weak conf.svg|center]]

Na rysunku [[Ciąg (matematyka)|ciąg]] z <math>b</math> liczy pięć elementów, zaś ciąg z <math>c</math> – 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 [[relacja silnie konfluentna|silnie konfluentna]].

{{Relacje matematyczne}}

[[Kategoria:Własności relacji dwuczłonowych]]