Empty graph
Set
context
$V$ … set
definiendum
$ \langle V,\emptyset,\psi\rangle = \mathrm{it}(V) $
postulate
$ \psi:\emptyset\to\emptyset $
Discussion
The empty graph on $V$ doesn't contain more information than the set $V$ itself.
Parents
Subset of
Undirected graph