This is an old revision of the document!
Directed graph
Set
$ V,E $ … set |
$ \langle V,\langle E,\psi\rangle\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 $ |