This is an old revision of the document!
Directed graph
Set
$ V,E $ … set |
$ \langle V,E,\psi\rangle \in \mathrm{it}(E,V) $ |
$ \psi $ … function |
$ \mathrm{dom}(\psi)=E $ |
$ \forall (e\in E).\ \exists (u,v\in V).\ \psi(e) = \langle v,u \rangle $ |
Discussion
For a graph $G=\langle V,E,\psi\rangle$, we write
$\{x,y\}$ … edge in $G \equiv \{x,y\}\in\mathrm{im}\ \psi_G$ |