This is an old revision of the document!
Graph
Set
$ V,E $ … set |
$ \mathrm{it}(E,V) = \mathrm{undirected\ graph}(E,V) \cup \mathrm{directed\ graph}(E,V) $ |
Discussion
Predicates
For a graph $G=\langle V,E,\psi\rangle$, we write
$a$ … edge in $G \equiv a\in\mathrm{im}\ \psi$ |