A connection between any number of vertices of a hypergraph. Formal Definition: A hyperedge is a set of vertices of a hypergraph.