complete bipartite graph
every vertex of first set attached to every vertex of second set
Wikipedia (English): Complete_bipartite_graphProofWiki: Definition:Complete_Bipartite_Graph
Agda Unimath: complete bipartite graph
Wikidata: complete bipartite graph