Does a graph with $0$ vertices count as simple?

Question

Does a graph with $0$ vertices count as a simple graph?

Or does a simple graph need to have a non-empty vertex set?

Thanks!

Answer 1

It is typical to refer to a graph with no vertices as the null graph. Since it has no loops and no parallel edges (indeed, it has no edges at all), it is simple.

That said, if your present work finds you writing "Such and such is true for all simple graphs except the null graph", then it could be a good idea to announce at the beginning of your document that you will not consider the null graph to be simple.

Answer 2

By wikipedia:

Simple graph

As opposed to a multigraph, a simple graph is an undirected graph that has no loops (edges connected at both ends to the same vertex) and no more than one edge between any two different vertices. In a simple graph the edges of the graph form a set (rather than a multiset) and each edge is a distinct pair of vertices. In a simple graph with n vertices every vertex has a degree that is less than n (the converse, however, is not true — there exist non-simple graphs with n vertices in which every vertex has a degree smaller than n).

It satisfies all conditions, so, it should be.