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