===== Trivial graph =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $v,E$ ... set |

| @#FFBB00: definiendum | @#FFBB00: $ \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]]