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

Undirected graph, Directed graph