subhypergraphs