Complete bipartite graph

A bipartite graph for which every vertex in the first set is adjacent to every vertex in the second set.