一个在 
个节点上的空图由 
个孤立节点组成，没有边。这种图有时也称为无边图或零图（尽管术语“零图”也特别用于指在 0 个节点上的空图）。
在 0 个节点上的空图（有时）称为零图，而在 1 个节点上的空图称为单点图。在 
个顶点上的空图是完全图 
的图补，通常表示为 
。符号 
显然也被一些作者使用（例如，Tyshkevich 2000，Fact 2），但不建议使用，因为它与将此符号用于奇图等相冲突。
在 
个节点上的空图可以在 Wolfram 语言 中生成为Graph[Range[n], 
] 或FromEntity[Entity["Graph",
"Empty", n]
]，并且空图的预计算属性在 Wolfram 语言 中使用GraphData[
"Empty", n
] 提供。
空图 
的二部双图是 
。
空图是（显然地）支配唯一的。
