Este documento define los grafos bipartitos como aquellos grafos en los que el conjunto de vértices puede dividirse en dos subconjuntos disjuntos de modo que cada vértice solo tenga aristas con vértices del otro subconjunto. Describe los grafos bipartitos completos como aquellos en los que todos los vértices de un subconjunto están conectados con todos los del otro, y provee ejemplos. También define los subgrafos e inducidos.