Hypergraph

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

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