graph-theory Definition Hypergraph A hypergraph is a generalisation of a graph where an edge, in this context called a hyperedge, can connect any number of vertices. Formally, a hypergraph is defined as a pair , where: is a finite set of elements called vertices or nodes. is a family of subsets of , where each subset is a hyperedge. 1 Footnotes Hypergraph - Wikipedia ↩