Multihypergraph
= Multihypergraph
A multihypergraph has a <multiset> of hyperedges, allowing the same subset of vertices to appear more than once. Its <hypergraph vertex degrees> and <hypergraph codegrees> count multiplicity. Such multiplicity is important when several original hyperedges produce the same link in a <hypergraph container theorem>.