空图

若空图包含了${\displaystyle n}$个顶点，则其可以记为${\displaystyle N_{n}}$。[2]^:329 空图的大小（即边的数量）恒为0，[3]^:45 然而空图的阶数（即顶点的数量）不一定为0。[3]^:44 阶数为零的空图又称为零阶图[4]，阶数不为零的空图（即有顶点存在的图）又称为无边图。[5]

零阶图 (空图)
顶点	0
边	0
围长	${\displaystyle \infty }$
自同构群	1
色数	0
色指数	0
属性	积性 对称 树宽值为-1

在图论中，零阶图（K₀）是一种没有任何顶点的图，因此其阶数为0，且不存在任何边。零阶图是阶数为零的正则图，然而其不存在顶点，因此也无法探讨其顶点的分支度，因此，部分研究不会将零阶图列如图的探讨范围中[6]。零阶图是否有效取决于其上下文对这种图论结构的描述方式。就积极的一面而言，零阶图做为图论定义下遵守良序原则的定义，即有序对(V,E)在V和E皆为空的情形，可用于证明其作为数学归纳法的自然基本情况；类似地，在递归定义的数据结构中，零阶图可用于定义递归基本情况，例如在二元树的定义中，将空树缺失边的子树视为零阶图，这样就能确保这个二元树中每个节点都有2个子树[7]。在消极的一面而言，若将零阶图视为正式的图会成为许多明确的图论属性公式的例外，导致许多图论公式需要针对零阶图定义例外情况[6]。为了避免这种情况，一般图论的「任意图」术语，除非上下文有明确说明，否则应当不包含零阶图，即「任意图」应代表「至少存在一个顶点的图」。[8][6]

在图论中，无边图（Edgeless graph）是指没有边的图。其可以有任意数量的顶点，然而每个顶点间皆无边来做相连。n个顶点的无边图称为n阶无边图，一般用记为${\displaystyle {\overline {K}}_{n}}$。在不允许零阶图（K₀）的上下文中，无边图有时被称为空图。[8][6]

在图论中，空地区图（null map）是指对应集合为空集的地区图[9]，有时用于证明不存在其他同态图的方式[10]。

• 循环图
• 空多胞形
• 无边地区图