Finite undirected graph
Set
context
$V,E$ … set
definiendum
$ \langle V,E,\psi\rangle \in \mathrm{it}(E,V) $
postulate
$\langle V,E,\psi\rangle $ … undirected graph
postulate
$ E,V $ … finite
Discussion
Parents
Subset of
Undirected graph