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

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