Википедия
Гипергра́ф — обобщение графа , в котором каждым ребром могут соединяться не только две вершины , но и любые подмножества вершин.
С математической точки зрения, гиперграф представляет собой пару (V, E), где V — непустое множество объектов некоторой природы, называемых вершинами гиперграфа, а E — семейство непустых подмножеств множества V, называемых рёбрами гиперграфа.
Гиперграфы применяются, в частности, при моделировании электрических цепей.
Трансверсалью гиперграфа является множество T ⊆ V, содержащее непустое пересечение с каждым ребром. Такая трансверсаль будет минимальной, если никакое её подмножество само не является трансверсалью гиперграфа.