Ungerichteter Graph/Bipartit/Vollständig/Definition/Begriff/Inhalt

Der vollständige bipartite Graph ${}K_{m,n}$ ist derjenige Graph, dessen Knotenmenge aus der disjunkten Vereinigung einer ${}m$-elementigen Menge ${}A$ und einer ${}n$-elementigen Menge ${}B$ besteht und dessen Kantenmenge durch

${}E={\left\{\{a,b\}\mid a\in A,\,b\in B\right\}}\,$

gegeben ist.