## Trivial graph

### Set

 context $v,E$ … set
 definiendum $\mathrm{it} = \mathrm{undirectedGraph}(E,\{v\})$

### Discussion

The trivial graphs are the graphs with one vertex, namely $v$, and a bunch of loops on it, labeled by the elements of $E$.