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

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

gegeben ist.