Reachability relation

Материал из WEGA

Reachability relation --- отношение достижимости.