## 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.