complete bipartite graph
every vertex of first set attached to every vertex of second set
MathWorld: CompleteBipartiteGraphWikipedia (English): Complete_bipartite_graph
ProofWiki: Definition:Complete_Bipartite_Graph
Agda Unimath: complete bipartite graph
Wikidata: complete bipartite graph