Satu definisi terakhir: Kita mengatakan suatu graf bipartit jika simpul-simpulnya dapat dibagi menjadi dua himpunan, \(A\) dan \(B\text{,}\) dengan tidak ada dua simpul di \(A\) yang bertetangga dan tidak ada dua simpul di \(B\) yang bertetangga. Simpul-simpul di \(A\) dapat bertetangga dengan sebagian atau seluruh simpul di \(B\text{.}\) Jika setiap simpul di \(A\) bertetangga dengan seluruh simpul di \(B\text{,}\) graf tersebut merupakan graf bipartit lengkap dan diberi nama khusus: \(K_{m,n}\text{,}\) dengan \(|A| = m\) dan \(|B| = n\text{.}\)