Graph
Set
| context | $ V,E $ … set |
| definiendum | $ \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
| predicate | $a$ … edge in $G \equiv a\in\mathrm{im}\ \psi$ |
Parents
Context
