trivial_graph

Trivial graph

context

$v,E$ … set

definiendum

$\mathrm{it} = \mathrm{undirectedGraph}(E,\{v\})$

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