Ungerichteter Graph/Disjunkte Vereinigung/Definition

Zu zwei Graphen ${\displaystyle {}G=(V,E)}$ und ${\displaystyle {}H=(W,F)}$ mit disjunkten Knotenmengen ${\displaystyle {}V}$ und ${\displaystyle {}W}$ nennt man den Graphen mit der Knotenmenge ${\displaystyle {}V\uplus W}$ und der Kantenmenge ${\displaystyle {}E\uplus F\subseteq {\mathfrak {P}}\,(V\uplus W)}$ die disjunkte Vereinigung der Graphen.