图 ,是图
和
的并集,其中 G_1 和 G_2 具有不相交的点集
和
,以及边集
和
。这个并集图具有点集
和边集
(Harary 1994, p. 21; Gross and Yellen 2006, p. 85)。图的(不相交)并集被 Knuth (2024, p. 23) 记为
。
当 和
的顶点和边被认为是不同的,而忽略它们的标签时,此操作有时被称为图的不相交并集,以便与图的并集运算区分开。图的并集运算在取
和
的顶点和边的并集时,会合并具有相同标签的顶点和边。
Wolfram 语言函数GraphUnion[g1, g2] 通过合并标记的顶点和边来取图的并集,而GraphDisjointUnion[g1, g2, ...] 将组件中的顶点和边视为不同的,无论它们的标签是什么。
图 的
个副本的图不相交并集通常表示为
(Harary 1990, p. 21)。