Hypergraph

Hypergraph --- гиперграф.

A finite hypergraph [math]\displaystyle{ {\mathcal H} }[/math] is a family of nonempty subsets (the edges of [math]\displaystyle{ {\mathcal H} }[/math]) from some finite underlying set [math]\displaystyle{ V }[/math] (the vertices of [math]\displaystyle{ {\mathcal H} }[/math]).