Definition
Ein vollständiger, bipartiter Graph ist ein Bipartiter Graph bei dem jeder Knoten der ersten Menge mit jedem anderen Knoten der zweiten Menge verbunden ist.
Mit wird der vollständige bipartite Graph beschrieben, der Knoten bipartit mit Knoten verbindet.
Hat ein Graph weitere Struktur, so muss diese durch den isomorphismus ebenfalls bewahrt werden.
Eigenschaft
Hoffentlich offensichtlich.