Matching in hypergraphs
set of hyperedges where every pair is disjoint