Трансверсальное множество гиперграфа

Трансверсальное множество гиперграфа (Transversal set of a hypergraph) - трансверсаль семейства ребер гиперграфа. Другими словами, подмножество [math]\displaystyle{ T }[/math] вершин гиперграфа называется трансверсальным множеством гиперграфа, если для любого ребра [math]\displaystyle{ e }[/math] справедливо соотношение [math]\displaystyle{ T \cap e \neq \emptyset }[/math].