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 H is defined as a pair H=(V,E), where: V={v1,…,vn} is a finite set of elements called vertices or nodes. E={e1,e2,…,em} is a family of subsets of V, where each subset ei⊆V is a hyperedge. 1 Footnotes Hypergraph - Wikipedia ↩