Subhypergraph

Subhypergraph --- подгиперграф.

A subhypergraph induced by a set [math]\displaystyle{ A \subseteq V }[/math] is the hypergraph [math]\displaystyle{ {\mathcal H}_{A} }[/math] defined on [math]\displaystyle{ A }[/math] by the edge set [math]\displaystyle{ {\mathcal H}_{A} = \{e \cap A: e \in {\mathcal H}\} }[/math].