Todas las aristas unen un vértice de \(\{1,2,3\}\) con uno de \(\{4,5,6\}\). En las otras opciones alguna arista queda dentro de una parte, por ejemplo \(\{1,4\}\).
Un grafo bipartito es un grafo \(G=(V,E)\) cuyos vértices se reparten en dos conjuntos disjuntos \(A\) y \(B\) de modo que cada arista \(e\in E\) une un vértice de \(A\) con uno de \(B\).
\[V=A\cup B,\quad A\cap B=\varnothing,\quad |e\cap A|=1\ \text{ para toda } e\in E\]