The
order-zero graph, , is the unique graph having no
vertices (hence its order is zero). It follows that also has no
edges. Thus the null graph is a
regular graph of degree zero. Some authors exclude from consideration as a graph (either by definition, or more simply as a matter of convenience). Whether including as a valid graph is useful depends on context. On the positive side, follows naturally from the usual
set-theoretic definitions of a graph (it is the
ordered pair for which the vertex and edge sets, and , are both
empty), in
proofs it serves as a natural base case for
mathematical induction, and similarly, in
recursively defined data structures is useful for defining the base case for recursion (by treating the
null tree as the
child of missing edges in any non-null
binary tree, every non-null binary tree has
exactly two children). On the negative side, including as a graph requires that many well-defined formulas for
graph properties include exceptions for it (for example, either "counting all
strongly connected components of a graph" becomes "counting all
non-null strongly connected components of a graph", or the definition of connected graphs has to be modified not to include ). To avoid the need for such exceptions, it is often assumed in literature that the term
graph implies "graph with at least one vertex" unless context suggests otherwise. In
category theory, the order-zero graph is, according to some definitions of "category of graphs," the
initial object in the category. does fulfill (
vacuously) most of the same basic graph properties as does (the graph with one vertex and no edges). As some examples, is of
size zero, it is equal to its
complement graph , a
forest, and a
planar graph. It may be considered
undirected,
directed, or even both; when considered as directed, it is a
directed acyclic graph. And it is both a
complete graph and an edgeless graph. However, definitions for each of these graph properties will vary depending on whether context allows for . ==Edgeless graph==