User blog comment:Alemagno12/A well-ordering of graphs/@comment-32876686-20171016032259/@comment-25601061-20171016034450

A graph is a set of vertices and edges, where each edge has to connect two vertices or one vertex to itself. And the empty graph is also a valid graph.