===== Graph =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $ V,E $ ... set |
| @#FFBB00: definiendum | @#FFBB00: $ \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

| @#EEEE55: predicate   | @#EEEE55: $a$ ... edge in $G \equiv a\in\mathrm{im}\ \psi$ |
==== Parents ====
=== Context ===
[[Undirected graph]], [[Directed graph]]