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

Parents

Subset of

Finite undirected graph