Definition:Reachability Relation/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

Let $G = \struct {V, A}$ be a digraph.


Then the reachability relation of $G$ is the transitive closure of $A$.


Sources