Relacja silnie konfluentna: Różnice pomiędzy wersjami

'''Relacja silnie konfluentna''' (lub po prostu relacja konfluentna) to [[relacja]] taka, że jeśli istnieje [[Ciąg (matematyka)|ciąg]] elementów będących w stosunku do siebie kolejno w relacji prowadzący od <math>a</math> do <math>b</math> oraz ciąg od <math>a</math> do <math>c</math> o tej samej własności, to istnieje takie <math>d</math>, że istnieją ciągi elementów będących kolejno względem siebie w relacji z <math>b</math> do <math>d</math> oraz z <math>c</math> do <math>d</math>. Mówiąc językiem [[teoria grafów|teorii grafów]], jeśli się rozejdziemy, zawsze potrafimy się ponownie zejść.

 

 

[[Kategoria:Relacje]]