Ungerichteter Graph/Disjunkte Vereinigung/Definition

Disjunkte Vereinigung (Graphen)

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