Гипердерево (Hypertree) - Гиперграф есть гипердерево тогда и только тогда, когда его граф инциденций является деревом. Под графом инциденций подразумевается двудольный граф, вершины которого суть элементы множества
с долями и , а ребро существует тогда и только тогда, когда .