Een bipartiete graaf is een graaf waarvoor de verzameling van toppen kan verdeeld worden in twee disjuncte onafhankelijke verzamelingen . Een bipartiete graaf is compleet als elke top van de eerste onafhankelijke verzameling adjacent is met elke top van de tweede onafhankelijke verzameling. We duiden deze complete bipartiete grafen aan met , waarin , respectievelijk , de grootte is van de eerste, respectievelijk tweede, onafhankelijke verzameling. Hieronder zie je en .
In GrInvIn kan je een complete bipartiete graaf maken door gebruik te maken van de bipartiete-graaffabriek .