A hyperedge is a member of the edge family of a hypergraph. In an -uniform hypergraph it is an -element subset of the vertex set. For it is an ordinary edge of a graph. A simple hypergraph has no repeated hyperedges; a multihypergraph records multiplicities.
New to topics? Read the docs here!