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
