Отношение достижимости

Отношение достижимости (Reachability relation) — отношение [math]\displaystyle{ \,R }[/math] такое, что [math]\displaystyle{ \,vRw }[/math] имеет место тогда и только тогда, когда в орграфе существует путь из [math]\displaystyle{ \,v }[/math] в [math]\displaystyle{ \,w }[/math].